Did you mean:
person:("krüger, ingolf H.")
Validation of Component and Service Federations in Automotive Software Applications
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Towards Model-Driven Development of Hard Real-Time Systems
Towards a Component Architecture for Hard Real Time Control Applications
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Software for Automotive Systems: Model-Integrated Computing
Simulink Integration of Giotto/TDL
Reusable Services and Semi-automatic Service Composition for Automotive Software
Reusable Services and Semi-automatic Service Composition for Automotive Software
On the Fault Hypothesis for a Safety-Critical Real-Time System
Modeling with the Timing Definition Language (TDL)
Modeling with the Timing Definition Language (TDL)