Did you mean:
person:("krüger, ingolf H.")
An Instrumentation-Based Approach to Controller Model Validation
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems
Reusable Services and Semi-automatic Service Composition for Automotive Software