Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    System Integration & Validation with Formal Methods in ATC Applications



    Kongress:

    Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    A bibliography on formal methods for system specification, design and validation

    Meyer, J. F. / Furchtgott, D. G. / Movaghar, A. | NTRS | 1982


    Integration of Formal Methods into System Safety and Reliability Analysis

    Akerlund, O. / Nadjm-Tehrani, S. / Stalmarck, G. et al. | British Library Conference Proceedings | 1999



    Formal methods in automotive applications

    Tran,S.C. / Marks,K.T. / Cullyer,J.C. et al. | Kraftfahrwesen | 1990