Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems

This publication has 7 references indexed in Scilit:

• Using formal methods to develop an ATC information system
  IEEE Software, 1996
• A Design Life-Cycle for the Formal Design of User Interfaces
  Electronic Workshops in Computing, 1996
• Verification of an Interactive Software by Analysis of its Formal Specification
  Published by Springer Nature ,1995
• The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident Analyses
  Published by Springer Nature ,1995
• Computer-related accidental death: an empirical exploration
  Science and Public Policy, 1994
• Decidability of a temporal logic problem for Petri nets
  Theoretical Computer Science, 1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989