|
- Christoph Schulte, Mark
Brörkens, Ingo Brückner, Ralf
Buschermöhle, Thomas Wolf. Sicherheit für
sicherheitskritische
Systeme. In Electronic Embedded Systeme, September 2003, pp.19ff (link)
- Werner Damm, Christoph Schulte,
Marc Segelken,
Hartmut Wittke, Uwe Higgen, M. Eckrich. Formale Verifikation von ASCET Modellen im
Rahmen der Entwicklung der Aktivlenkung. In Lecuture Notes in
Informatics, May 2003
Accepted by GI-workshop automotive SW engineering & concepts.
|
|