Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web

Citation:
Fayollas C, Martinie C, Palanque P, Masci P, Harrison MD, Campos JC, Silva SR.  2016.  Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. Workshop on Integrated Formal Development Environment (F-IDE 2016), co-located with FM2016.

Citation Key:

3332

DOI:

https://doi.org/10.4204/EPTCS.240.1

PreviewAttachmentSize
f-ide2016-camera-ready.pdf1.91 MB