Dr. Thomas Stauner und Modular - Info zur Person

(1 - 7 von 7

)

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 ...

Softwareentwicklung eingebetteter Systeme: Grundlagen, ...

books.google.lv

Galileo Press, (Grosu, Stauner, 2002) Radu Grosu und Thomas Stauner: Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts.

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 ...

Dokument 1.pdf ( KB)

opus.kobv.de

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

Alle Infos zum Namen "Dr. Thomas Stauner"

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 ...

Lecture Notes in Computer Science - Index of files inftp.math.utah.edu › pub › tex › bib › toc

ftp.math.utah.edu

611 F. J. Ferri and J. S. Sanchez and F. Pla Editing Prototypes in the Finite Sample D. W. Engels and D. R. Karger and S. G. Kolliopoulos and S Radu Grosu and Thomas Stauner and Manfred Broy A Modular ...

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 ...

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 Modular Person-Info