Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Specification of an Aerospace System: the Attitude Monitor

Lookup NU author(s): Professor John Fitzgerald, Dr Amer Saeed


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

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

Editor(s): Hinchey MG and Bowen, JP

Series Editor(s): Hoare, CAR

Publication type: Book Chapter

Publication status: Published

Book Title: Applications of Formal Methods

Year: 1995

Pages: 307-332

Series Title: Prentice Hall International Series in Computer Science

Publisher: Prentice Hall

Place Published: London

Notes: Chapter 13.

Library holdings: Search Newcastle University Library for this item

ISBN: 0133669491