Dr. rer. nat. habil. Heinrich Rust

Oberingenieur

von Dezember 1996 bis November 2004

Arbeitsgebiete

Formale Methoden für Realzeitsysteme
Softwareentwicklungsprozesse

Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems

Habilitation, BTU Cottbus, 26.05.2004
2004[05]