Prof. Dr. rer. nat. 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