Dr. Thomas Stauner und Hybrid Systems - Info zur Person

(1 - 12 von 15

)

Thomas Stauner - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Thomas Stauner. Ph.D. Technische Universität München Germany. Dissertation: Systematic Development of Hybrid Systems. Advisor: Manfred Broy.

OPUS 4 | Suchen

publikationen.ub.uni-frankfurt.de

Prototyping of hybrid systems : from HyCharts to hybrid data-flow graphs (2000); Thomas Stauner Christoph Grimm: In this paper, a translation of the visual ...

Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers...

books.google.de

Hybrid Systems' Properties - Classification and Relation to Computer Science⋆ Thomas Stauner Institut für Informatik, TU München, D München, ...

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed...

books.google.de

[GSB98] Radu Grosu, Thomas Stauner und Manfred Broy. A Modular Visual Model for Hybrid Systems. In A. P. Ravn und H. Rischel, Hrsg., Proceedings of the ...

fmsd00 — Institute of Computer Engineering (E191)

ti.tuwien.ac.at

Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts . Radu Grosu and Thomas Stauner. Visual description techniques are ...

Properties of Hybrid Systems—A Computer Science Perspective |...

link.springer.com

The paper formalizes and classifies important properties of hybrid, i.e. mixed discrete and continuous, systems from a computer science point of view. Gene

CIS 642 Schedule Page - CIS @ UPennwww.cis.upenn.edu/~lee/99cis642/schedule.html

www.cis.upenn.edu

Radu Grosu, Thomas Stauner, Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts. Technical Report TUM-I9801, Technische ...

Electronic Notes in Theoretical Computer Science, Volume 28

vldbarc.org

Thomas Stauner, Christoph Grimm: Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. Electronic Edition · CiteSeerX · Google scholar ...

Grosu/Stauner: Automated refinement checking for asynchronous...

www3.cs.stonybrook.edu

Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts. Radu Grosu and Thomas Stauner ... Visual description techniques are ...

Alle Infos zum Namen "Dr. Thomas Stauner"

Verwandte Suchanfragen zu Dr. Thomas Stauner

Wolfgang Prenninger
Olaf Müller
Christian Salzmann

Christoph Grimm
Bernd Sostawa
Ingolf Krueger

Alexander Pretschner
Manfred Broy
Frank Stauner

Personen
Vorname "Thomas" (124868)
Name "Stauner" (106)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dr. Thomas Stauner und Hybrid Systems Person-Info