Open AccessFormal methods in the development of safety critical software systems
Author(s) -
Lloyd G. Williams
Publication year - 1991
Language(s) - English
Resource type - Reports
DOI - 10.2172/10146119
Subject(s) - software development , avionics software , computer science , life critical system , software engineering , software system , formal methods , package development process , software construction , verification and validation , software , reliability engineering , risk analysis (engineering) , systems engineering , engineering , programming language , operations management , business