Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modeling an Aircraft Landing System in Event-B



    Conference:

    International conference, Abstract state machines, Alloy, B, TLA, VDM, and Z; ABZ 2014: the landing gear case study : Case study track ; 2014 ; Toulouse, France



    Publication date :

    2014-01-01


    Size :

    7 pages


    Remarks:

    "e-ISSN 1865-0937" --Title page verso. Includes bibliographical references and index. Also issued online.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Modeling an Aircraft Landing System in Event-B

    Méry, Dominique / Singh, Neeraj Kumar | Springer Verlag | 2014


    Modeling Aircraft Landing Scheduling in Event B

    Jarrar, Abdessamad / Balouki, Youssef / Gadi, Taoufiq et al. | Springer Verlag | 2017


    AIRCRAFT LANDING EVENT SYSTEM AND METHOD

    HOWELL GEORGE / HEBBORN ANDREW / BULLEN JAMES et al. | European Patent Office | 2022

    Free access

    Aircraft landing event system and method

    GEORGE HOWELL / ANDREW HEBBORN / JAMES BULLEN et al. | European Patent Office | 2022

    Free access

    Aircraft landing event system and method

    European Patent Office | 2021

    Free access