AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
José Creissac Campos

José Creissac Campos

Universidade do Minho - Braga / Portugal
Engineering & Technology / Computer Science
AD Scientific Index ID: 4369480
University of Minho
person_outline José Creissac Campos's MOST POPULAR ARTICLES
1-) A literature review about usability evaluation methods for e-learning platforms Work 41 (S1), 1038-1044, 2012
2-) Model checking interactor specifications Automated Software Engineering 8 (3), 275-310, 2001
3-) Systematic analysis of control panel interfaces using formal tools International Workshop on Design, Specification, and Verification of …, 2008
4-) Interaction engineering using the IVY tool Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
5-) Formally verifying interactive systems: A review Design, Specification and Verification of Interactive Systems’ 97 …, 1997