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  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 240, ISSUE: 240
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID

footer slogan

Useful Links

Get Help

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