Toggle Main Menu Toggle Search


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

Lookup NU author(s): Paul Mason, 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): Mason P, Saeed A

Publication type: Conference Proceedings (inc. Abstract)

Conference Name: 16th International System Safety Conference

Year of Conference: 1998