Return to search

The application of formal methods in safety analysis for safety critical software systems

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:411289
Date January 2009
CreatorsChan, Kenneth H. W.
PublisherTeesside University
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0021 seconds