Meinten Sie:
+keyword:(formale spezifikation)
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Object oriented and formal methods for AUV development