Prof. Dr. Dirk Beyer
wissenschaftlicher Mitarbeiter
von November 1998 bis September 2003
Arbeitsgebiete
Formale Spezifikation und Verifikation eingebetteter Echtzeitsysteme
Entwicklung einer modularen Spezifikationssprache auf der Basis hybrider zeitbewerteter Automaten (CTA)
Werkzeuge zur Analyse von CTA-Modellen
Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
www
BTU Cottbus - FullVersion
2002[01] UBICO