Reserved Area
About me...
Publications
Students
José C. Campos
Software Engineering
Assistant Professor
(email)
Mechanical Verification and Interactive Systems Development
Citation:
Campos JC. 1998. Mechanical Verification and Interactive Systems Development, copy at www.tinyurl.com/nqz8cn4
Export
Tagged
XML
BibTex
Google Scholar
Citation Key:
Campos98
Recent Publications
Demonstrating that medical devices satisfy user related safety requirements
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web
Verification of User Interface Software: the Example of Use-Related Safety Requirements and Programmable Medical Devices
more