Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
2017 ◽
Vol 240
◽
pp. 1-19
◽
Keyword(s):
Keyword(s):