Tracing Safety for Dependable Avionic Systems: An Object-Oriented and Deductive Approach

  1. Lookup NU author(s)
  2. Paul Mason
  3. Dr Amer Saeed
Author(s)Mason P, Saeed A
Publication type Conference Proceedings (inc. Abstract)
Conference Name16th International System Safety Conference
Conference LocationSeattle, USA
Year of Conference1998
Legacy Date14-19 September 1998
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.