Abstract This document presents a landing gear system. It describes the system and provides some of its requirements. We propose this case study as a benchmark for techniques and tools dedicated to the verification of behavioral properties of systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The Landing Gear System Case Study


    Beteiligte:


    Erscheinungsdatum :

    2014-01-01


    Format / Umfang :

    18 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014


    LANDING GEAR DOOR SYSTEM FOR LANDING GEAR COMPARTMENT

    SEAN C WEBB | Europäisches Patentamt | 2022

    Freier Zugriff

    LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT

    WEBB SEAN C | Europäisches Patentamt | 2022

    Freier Zugriff

    LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT

    WEBB SEAN C | Europäisches Patentamt | 2024

    Freier Zugriff

    Landing Gear System

    J. C. Pope | NTIS | 1964