Meinten Sie:
keywords:(computation by abstract device)
Synonyme wurden verwendet für:
Abstract
Suche ohne Synonyme:
keywords:(Computation by Abstract Devices)
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
The Landing Gear System Case Study
A Robot Architecture Based on Higher Order Perception Loop
Modeling an Aircraft Landing System in Event-B
Validation of the ABZ Landing Gear System Using ProB
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Context-Aware Verification of a Landing Gear System
Modeling a Landing Gear System in Event-B