Developing and assessing safety critical systems with formal methods: the SafeFM way

High integrity systems

Volumn 1, Issue 6, 1996, Pages 541-545

  Stavridou, Victoria ^a   Boothroyd, Andrew ^a   Boyce, Timothy ^a   Bradley, Peter ^a   Draper, Jonathan ^a   Dutertre, Bruno ^a   Smith, Robert ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AVIONICS; INDUSTRIAL RESEARCH; RISK ASSESSMENT; SPECIFICATIONS;

FORMAL METHODS; SAFETY CRITICAL SYSTEMS; STRUCTURAL TECHNIQUES;

RELIABILITY;

EID: 0030412912     PISSN: 09672648     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)