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
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
The Landing Gear System Case Study
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
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
The Landing Gear Case Study in Hybrid Event-B
Co-simulation Environment for Rodin: Landing Gear Case Study
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
A Robot Architecture Based on Higher Order Perception Loop
An Instrumentation-Based Approach to Controller Model Validation
Towards Model-Driven Development of Hard Real-Time Systems
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Towards Verification of Model Transformations Via Goal-Directed Certification
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software