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.  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.

Tertiary Title:

Electronic Proceedings in Theoretical Computer Science

Abstract:

n/a

Notes:

n/a

Citation Key:

Fayollas:2017