Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and Marshaling: Making Tests from Model Checker Counterexamples


    Beteiligte:

    Kongress:

    19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    1B3


    Anmerkungen:

    IEEE cat nos 00CH37126



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Hourcade marshaling yard

    Rabat, J. / Theureau, G. | Engineering Index Backfile | 1967


    Commutation circuit, flexible marshaling unit and flexible marshaling method

    WU MINGYANG / ZHANG CHUNYU / GAO CHUNHAI | Europäisches Patentamt | 2022

    Freier Zugriff

    METHOD AND SYSTEM FOR MARSHALING DOWNLINK COVERAGE

    AHMAD SYED AMAAR / BANDI KRISHNA / URHAHNE JOSEPH ANDREAS | Europäisches Patentamt | 2025

    Freier Zugriff

    SYSTEM AND METHOD TO VALIDATE MARSHALING INSTRUCTIONS RECEIVED BY INFRASTRUCTURE ENABLED MARSHALING SYSTEM

    BANDI KRISHNA / MENON MEGHNA / SANTILLO MARIO ANTHONY et al. | Europäisches Patentamt | 2024

    Freier Zugriff