Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Formal Approach to System Integration



    Kongress:

    6th, International conference on integrated power electronics systems; CIPS 2010 ; 2010 ; Nuremberg, Germany



    Erscheinungsdatum :

    2010-01-01


    Format / Umfang :

    6 pages


    Anmerkungen:

    Also held on CD-ROM. Held in Cage




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    System Integration & Validation with Formal Methods in ATC Applications

    Prun, D. / Gonon, M. / EUROSPACE et al. | British Library Conference Proceedings | 2000


    A formal approach to railway signalling

    Cullyer, W.J. / Wong, W. | Tema Archiv | 1990


    The PERF Approach for Formal Verification

    Benaissa, Nazim / Bonvoisin, David / Feliachi, Abderrahmane et al. | British Library Conference Proceedings | 2016


    Formal Observational Approach to Staged Loading

    Baecher, Gregory B. / Ladd, Charles C. | Transportation Research Record | 1997


    Formal Observational Approach to Staged Loading

    Baecher, Gregory B. | Online Contents | 1997