Meinten Sie:
+keyword:("computation by abstract devices")
Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975
A Robot Architecture Based on Higher Order Perception Loop
Modeling an Aircraft Landing System in Event-B
The Landing Gear System Case Study
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
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
An Instrumentation-Based Approach to Controller Model Validation
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Co-simulation Environment for Rodin: Landing Gear Case Study
Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Towards Verification of Model Transformations Via Goal-Directed Certification
Simulink Integration of Giotto/TDL
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Validation of Component and Service Federations in Automotive Software Applications
Towards a Component Architecture for Hard Real Time Control Applications
Active Guidance for a Finless Rocket Using Neuroevolution
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
On the Fault Hypothesis for a Safety-Critical Real-Time System
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Compositional Framework for Real-Time Guarantees
Adding Value to Automotive Models
Modeling with the Timing Definition Language (TDL)
Software for Automotive Systems: Model-Integrated Computing
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Model-Driven Development of Hard Real-Time Systems
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
A Software and System Modeling Facility for Vehicle Environment Interactions
Reusable Services and Semi-automatic Service Composition for Automotive Software