1
0
0
(1 - 17 von 19
)
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 ...
Thomas Stauner
www.db.informatik.uni-bremen.de
Search other Bibliographies. dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)
István Péter
www.db.informatik.uni-bremen.de
Thomas Stauner, Alexander Pretschner, István Péter: Approaching a Discrete-Continous UML: Tool Support and Formalization, Practical UML-Based Rigorous Development ...
Synthesen einiger Bis-indeno-fluorene - Thomas Stauner - Google Books
books.google.ru
Title, Synthesen einiger Bis-indeno-fluorene. Author, Thomas Stauner. Publisher, Steinbauer und Rau, Original from, the University of California. Digitized ...
Eine kunden- und lebenszyklusorientierte Produktfamilienabsicherung...
books.google.de
In der vorliegenden Arbeit wird eine automotive-geeignete Absicherungsstrategie entwickelt, die erstmals den kompletten Variantenumfang eines massengefertigten...
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems -...
books.google.de
Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete...
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 ...
Hybrid and Real-Time Systems: International Workshop, HART'97,...
books.google.de
This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March...
Informatik’99: Informatik überwindet Grenzen - Google Books
books.google.de
Radu Grosu und Thomas Stauner. Visual Description of Hybrid Systems. In Workshop On Real Time Programming (WRTP'98). Elsevier Science Ltd.,
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.
Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung...
books.google.de
Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Ihre Funktionalität wird durch das Zusammenspiel von...
Anforderungsspezifikation durch Transitionssysteme und Szenarien -...
books.google.de
Weiterhin möchte ich mich bei Christian Prehofer, Bernhard Rumpe, Olaf Müller und Thomas Stauner für wertvolle Kommentare zu Vorversionen der Arbeit ...
Die Brauereien an der Mainschleife: ihre Gegenwart und Vergangenheit...
books.google.de
... Kurt Schmitt, Alfons Schrüfer, Dieter Schrüfer, Otto Schrü- fer, Erich Schneider, Georg Schneider, Anni Schulz, Paul Smeele Nl., Thomas Stauner, Ernst Steffny, ...
Eigenschaftsorientierte Beschreibung der logischen Architektur...
books.google.de
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise...
Languages for System Specification: Selected Contributions on UML,...
books.google.de
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating...
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