TY  - RPRT
TI  - Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
AU  - Camille Fayollas
AU  - Célia Martinie
AU  - Philippe Palanque
AU  - Paolo Masci
AU  - Michael D. Harrison
AU  - José C. Campos
AU  - Saulo Rodrigues e Silva
PY  - 2017
DO  - 10.4204/eptcs.240.1
UR  - https://arxiv.org/abs/1701.08465
ID  - 1701.08465
ER  -