Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Winnowing Tests: Getting Quality Coverage From a Model Checker Without Quantity


    Beteiligte:
    Black, P. E. (Autor:in)

    Kongress:

    20th, Digital avionics systems conference ; 2001 ; Daytona Beach, FL



    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    9B6


    Anmerkungen:

    Also known as 20th DASC. Theme: Space aviation's next frontier. IEEE cat nos 01CH37219



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    Modeling and Marshaling: Making Tests from Model Checker Counterexamples

    Black, P. E. / IEEE / AIAA | British Library Conference Proceedings | 2000


    CHECKER

    YOSHINO MITSUNORI / KITANO TETSUJI | Europäisches Patentamt | 2019

    Freier Zugriff

    TRAJECTORY CHECKER

    THOMAS STEPHEN L / ALAHMAD BADER | Europäisches Patentamt | 2022

    Freier Zugriff