Formal Specification of an Aerospace System: the Attitude Monitor (1995)

Author(s): Coombes A, Barroca L, Fitzgerald JS, McDermid JA, Spencer L, Saeed A

    Notes: Chapter 13.

      • Book Title: Applications of Formal Methods
      • Pages: 307-332
      • Publisher: Prentice Hall
      • Publication type: Book chapter
      • Bibliographic status: Published
        Staff

        Professor John Fitzgerald
        Director of Research in Computing Science, Director of the Centre for Software Reliability