Saulo Rodrigues e Silva


AuthID: R-00H-0K9

Confirmed Publications: 1



1
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service