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

Publikationen
Promotion
Vorträge
Artikel
Reports
Bücher
Diplom

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

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name	Zweck	Ablauf	Typ	Anbieter
_pk_id	missing translation: trackingobject._pk_id.desc	13 missing translation: duration.months	missing translation: type.cookie_http+html	Matomo
_pk_ref	missing translation: trackingobject._pk_ref.desc	6 missing translation: duration.months	missing translation: type.cookie_http+html	Matomo
_pk_ses	missing translation: trackingobject._pk_ses.desc	30 missing translation: duration.minutes	missing translation: type.cookie_http+html	Matomo