Title Author
hxevvf -
Modelling information resources and their salience in medical device design José Campos
Systematic analysis of control panel interfaces using formal tools José Campos
Validating an Approach to Formalize Use Cases with Ontologies Rui Couto
Verification of user interface software in PVS: the example of FDA requirements and programmable medical devices José Campos
Verification Templates for the Analysis of User Interface Software Design José Campos
wltzqfk -