Reserved Area
Bio
Links
Publications
Saulo Silva
Software Engineering
PhD student
(email)
Formal Verification
Showing results in 'Publications'.
Show all posts
Silva SR
. 2016.
Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems
.
dr-s-fm2016-camera-ready.pdf
Tags
Formal Verification
(1)
Interactive Human-Machine Systems
(1)
Task Analysis
(1)