Login
- Titel:
Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs
- Autor(en):
- Lohmann, S.; Dinh-Thi, L.A.; Tran, T.H.; Stursberg, O.; Engell, S.
- Kongress- / Buchtitel:
- GMA-Kongress , VDI-Berichte
- Jahr:
- 2007
- Seiten:
- 3-12
BibTeX