By the same authors

Formal Specification of an Aerospace System: the Attitude Monitor

Research output: Chapter in Book/Report/Conference proceedingChapter

Author(s)

  • LM Barroca
  • A C Coombes
  • J C Fitzgerald
  • J A McDermid
  • A Saeed
  • L Spencer
  • M Hinchey (Editor)
  • J Bowen (Editor)

Department/unit(s)

Publication details

Title of host publicationApplications of Formal Methods
DatePublished - 1995
Pages307-332
Number of pages26
PublisherPrentice Hall
Original languageEnglish

Bibliographical note

Formal Specification of an Aerospace System: the Attitude Monitor

Discover related content

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

View graph of relations