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 M, 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. copy at www.tinyurl.com/y5caolje

Tertiary Title:

Electronic Proceedings in Theoretical Computer Science

Abstract:

n/a

Notes:

n/a

Citation Key:

Fayollas:2017
PreviewAttachmentSize
1701.08465.pdf1.56 MB