Bernhard Steffen

Bernhard Steffen

Professor für Informatik, TU Dortmund
Adresse e-mail validée de cs.uni-dortmund.de
Cité 18122 fois
Programmiersysteme Verifikation Validierung Model Checking Automata Learning
Sabine Glesner

Sabine Glesner

Professor für Informatik, Technische Universität Berlin
Adresse e-mail validée de tu-berlin.de
Cité 1660 fois
Software-Engineering eingebettete Systeme Verifikation
Martin Horauer

Martin Horauer

Professor für Embedded Systems, Fachhochschule Technikum Wien
Adresse e-mail validée de technikum-wien.at
Cité 870 fois
Embedded Systems Verifikation
Christoph Brzoska

Christoph Brzoska

Adresse e-mail validée de arcor.de
Cité 232 fois
Künstliche Intelligenz Theoretische Informatik Verifikation Model Checking Datenbanken
Georg Rößler

Georg Rößler

Adresse e-mail validée de ieee.org
Cité 47 fois
Kommunikationsprotokolle Spezifikation Verifikation Verkehrstheorie Leistungsbewertung