Reserved Area
About me...
Publications
Students
José C. Campos
Software Engineering
Assistant Professor
(email)
Reply to comment
[Anonymous]
. 2017.
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web
.
Proceedings of the Third Workshop on Formal Integrated Development Environment. 240:1-19.
Abstract
1701.08465.pdf
n/a
Reply
Subject:
Comment:
*
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