Meinten Sie:
+keyword:(formale spezifikation)
Instantiating generic charts for Railway Interlocking Systems
Model driven development and code generation: An automotive case study