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 :

    2000-01-01


    Format / Umfang :

    1B3


    Anmerkungen:

    IEEE cat nos 00CH37126



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Commutation circuit, flexible marshaling unit and flexible marshaling method

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

    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

    Vehicle marshaling method and device and terminal equipment

    LIU ZHAN / LIU CHUNHAI / KANG YING et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    VEHICLE MARSHALING METHOD, APPARATUS AND SYSTEM, VEHICLE, AND STORAGE MEDIUM

    ZHUO KAIKUO / CHEN CHUJUN / LIU WEIHUA et al. | Europäisches Patentamt | 2022

    Freier Zugriff