Journal article
Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs.
Publication Details
Authors: | Lohmann, S.; Dinh-Thi, L.; Tran, T.; Stursberg, O.; Engell, S. |
Publication year: | 2007 |
Journal: | GMA-Kongress |
Pages range : | 3–12 |
Volume number: | 1980 of VDI-Ber. |
