Aufsatz in einer Fachzeitschrift
Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs.
Details zur Publikation
Autor(inn)en: | Lohmann, S.; Dinh-Thi, L.; Tran, T.; Stursberg, O.; Engell, S. |
Publikationsjahr: | 2007 |
Zeitschrift: | GMA-Kongress |
Seitenbereich: | 3–12 |
Jahrgang/Band : | 1980 of VDI-Ber. |
