- Title:
Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs
- Author(s):
- Lohmann, S.; Dinh-Thi, L.A.; Tran, T.H.; Stursberg, O.; Engell, S.
- Book / Congress title:
- GMA-Kongress , VDI-Berichte
- Year:
- 2007
- Pages:
- 3-12
- BibTeX