By the same authors

Formal Methods: Use and Relevance for the Development of Safety Critical Systems

Research output: Chapter in Book/Report/Conference proceedingChapter

Author(s)

Department/unit(s)

Publication details

Title of host publicationSafety Aspects of Computer Control
DatePublished - 1993
Pages96-153
Number of pages58
PublisherButterworth Heinemann
Place of PublicationOxford
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations