Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Mason, P. A. J. (Autor:in) / Saed, A. (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    01.01.1998


    Format / Umfang :

    11 pages


    Anmerkungen:

    Described as proceedings. Theme title: System safety - the total solution


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


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

    Mason, P.A.J. / Saed, A. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006



    Dependable real-time LANs for avionic applications

    Powell, D.R. / Valadier, J.C. | Tema Archiv | 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