• Reserved Area
  • Bio
  • Links
  • Publications
Haslab Logo

Saulo Silva

Software Engineering

PhD student (email)

Interactive Human-Machine Systems

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)
Bookmark and Share



Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.