Synonyme wurden verwendet für:
Abstract
Suche ohne Synonyme:
keywords:(Computation by Abstract Devices)
Modeling with the Timing Definition Language (TDL)
Reusable Services and Semi-automatic Service Composition for Automotive Software
A Software and System Modeling Facility for Vehicle Environment Interactions
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Validation of Component and Service Federations in Automotive Software Applications
Simulink Integration of Giotto/TDL
Towards a Component Architecture for Hard Real Time Control Applications
On the Fault Hypothesis for a Safety-Critical Real-Time System
Software for Automotive Systems: Model-Integrated Computing
A Compositional Framework for Real-Time Guarantees
Adding Value to Automotive Models
Active Guidance for a Finless Rocket Using Neuroevolution
Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975
Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976