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

1–2 von 2 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

    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

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