• Reserved Area
  • Bio
  • Links
  • Publications
Haslab Logo

Saulo Silva

Software Engineering

PhD student (email)

Task Analysis

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.