Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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



    Conference:

    16th, International system safety conference ; 1998 ; Seattle, WA



    Publication date :

    2006-01-01


    Size :

    11 pages


    Remarks:

    Held on System Safety Society Archive DVD, ISSC Proceedings 1973-2006 with Hazard Prevention JSS 1964-2006; Also held on CD-ROM as International system safety conference 16th in Conference Records; HELD ON CD-ROM


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Keywords :


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

    Mason, P. A. J. / Saed, A. | British Library Conference Proceedings | 1998



    Dependable real-time LANs for avionic applications

    Powell, D.R. / Valadier, J.C. | Tema Archive | 1985


    Towards a Deductive Object-Oriented System

    Yoon, S.-C. / Ku, C. S. | British Library Online Contents | 1998


    Avionic Systems

    Middleton, Donald H. | TIBKAT | 1989