Synonyms were used for:
Automotive
•
software
Search without synonyms:
keywords:(Automotive software)
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
A compositional Framework for Real-Time Guarantees
On the Fault Hypothesis for a Safety-Critical Real-Time System
Towards a Component Architecture for Hard Real Time Control Applications
Validation of Component and Service Federations in Automotive Software Applications
Software for Automotive Systems: Model-Integrated Computing
Simulink Integration of Giotto/TDL
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Adding Value to Automotive Models
Generating Sound and Resource-Aware Code from Hybrid Systems Models
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Towards Verification of Model Transformations Via Goal-Directed Certification
An Instrumentation-Based Approach to Controller Model Validation
A Software and System Modeling Facility for Vehicle Environment Interactions
Reusable Services and Semi-automatic Service Composition for Automotive Software