- Titel:
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Katzke, Uwe ; Vogel-Heuser, Birgit ; Göhner, Peter ; Gutbrodt, Felix
- Kongress- / Buchtitel:
- Abschlusskolloquium des DFG-SPP 1064 Software-Spezifikation
- Verlagsort:
- Stuttgart, Deutschland
- Jahr:
- 2004
- BibTeX