Synonyme wurden verwendet für: Abstract
Suche ohne Synonyme: keywords:(Computation by Abstract Devices)

1–10 von 37 Ergebnissen
|

    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

    Arcaini, Paolo / Gargantini, Angelo / Riccobene, Elvinia | Springer Verlag | 2014
    Schlagwörter: Computation Tree Logic , Abstract State Machine , Computation by Abstract Devices

    Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975

    Prof. Dr. Dijkstra, Edsger W. | Springer Verlag | 1982
    Schlagwörter: Computation by Abstract Devices

    Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    Kossak, Felix | Springer Verlag | 2014
    Schlagwörter: Abstract state machines , Computation by Abstract Devices

    The Landing Gear System Case Study

    Boniol, Frédéric / Wiels, Virginie | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    A Robot Architecture Based on Higher Order Perception Loop

    Chella, Antonio | Springer Verlag | 2009
    Schlagwörter: Computation by Abstract Devices

    Modeling an Aircraft Landing System in Event-B

    Méry, Dominique / Singh, Neeraj Kumar | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Validation of the ABZ Landing Gear System Using ProB

    Hansen, Dominik / Ladenberger, Lukas / Wiegard, Harald et al. | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    Su, Wen / Abrial, Jean-Raymond | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Context-Aware Verification of a Landing Gear System

    Dhaussy, Philippe / Teodorov, Ciprian | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices

    Modeling a Landing Gear System in Event-B

    Mammar, Amel / Laleau, Régine | Springer Verlag | 2014
    Schlagwörter: Computation by Abstract Devices