Transport in a unified Europe : policies and challenges
Transport in a unified Europe : policies and challenges
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems