Meinten Sie:
+keyword:(computer software)
An Instrumentation-Based Approach to Controller Model Validation
Towards Verification of Model Transformations Via Goal-Directed Certification
A Software and System Modeling Facility for Vehicle Environment Interactions
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Risiko und Zuverlässigkeit in kybernetischen Systemen
Towards Model-Driven Development of Hard Real-Time Systems
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Reusable Services and Semi-automatic Service Composition for Automotive Software
Soziale Wirkungen virtueller Helfer : Gestaltung und Evaluation von Mensch-Computer-Interaktion
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Multi-technology Vehicular Cooperative System Based on Software Defined Radio (SDR)
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates
Design and development of a virtual reality serious game with editable content
Simulink Integration of Giotto/TDL
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Validation of Component and Service Federations in Automotive Software Applications