1
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci ; Michael D. Harrison ; José Creissac Campos ; Saulo Rodrigues e Silva ;
SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in Proceedings of the Third Workshop on Formal Integrated Development Environment., VOLUME: abs/1701.07925, PUBLISHED: 2016
INDEXED IN: Scopus DBLP arXiv CrossRef: 21