Entwicklung korrekter zeitkritischer Systeme

Ernst-Rüdiger Olderog. Entwicklung korrekter zeitkritischer Systeme. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 7-16, Herbert Utz Verlag, 1999.

Authors

Ernst-Rüdiger Olderog

This author has not been identified. Look up 'Ernst-Rüdiger Olderog' in Google