Automatische Methoden zur Verfeinerung von Systemmodellen: Aus der Spezifikation
80,78 €
Summary and Conclusions. In 2015, she received her Dr.-Ing. Her research was focused on the design and verification of formal system models.
Jetzt bei Ebay: