Did you mean:
person:("lenz, christian")
•
person:("benz, christian")
Towards Model-Driven Development of Hard Real-Time Systems
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers