IEEE - Institute of Electrical and Electronics Engineers, Inc. - The role of formal methods in the requirements analysis of safety-critical systems: a train set example

Author(s): Saeed, A. ; de Lemos, R. ; Anderson, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Montreal, Que., Canada
Conference Date: 25 June 1991
Page(s): 478 - 485
ISBN (Paper): 0-8186-2150-8
DOI: 10.1109/FTCS.1991.146704
Regular:

A general framework for the formal specification and verification of the critical requirements in the development of safety-critical systems is presented. The framework is based on a clear... View More

Advertisement