Author: Marckson R. F. de Sousa
Publications
Co-authors
Productive Colleagues
Publications
Turnell, Maria de F. Q. V., Scaico, Alexandre, Sousa, Marckson R. F. de, Perkusich, Angelo (2001): Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 69-87. https://link.springer.de/link/service/series/0558/bibs/2220/22200069.htm
Scaico, Alexandre, Vieira, Maria de F. Q., Sousa, Marckson R. F. de, Santoni, Charles (2008): Investigating System Navigation Ergonomics through Model Verification. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 86-91. https://dx.doi.org/10.1007/978-3-540-70569-7_7