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]