Synonyme wurden verwendet für:
Abstract
Suche ohne Synonyme:
keywords:(Computation by Abstract Devices)
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Simulink Integration of Giotto/TDL
Validation of Component and Service Federations in Automotive Software Applications
Towards Verification of Model Transformations Via Goal-Directed Certification
On the Fault Hypothesis for a Safety-Critical Real-Time System
Towards a Component Architecture for Hard Real Time Control Applications
Active Guidance for a Finless Rocket Using Neuroevolution
Software for Automotive Systems: Model-Integrated Computing
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Modeling with the Timing Definition Language (TDL)