Searching for authors named "Thomas Stauner" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Specification of (Parts of) a Lip-Sync Protocol Using HyCharts
- …Speci cation of (parts of) a Lip-Sync Protocol Using HyCharts Thomas Stauner Institut fur…
- Add To MetaCart
-
Hybrid Systems' Properties - Classification and Relation to Computer Science
- …Hybrid Systems' Properties - Classication and Relation to Computer Science ? Thomas Stauner…
- Cited by 1 (0 self) – Add To MetaCart
-
Modelling and Verification using Linear Hybrid Automata - a Case Study
- … STAUNER y ABSTRACT This paper discusses the use of hybrid automata to specify and verify embedded…
- Cited by 7 (2 self) – Add To MetaCart
-
Visual Description Of Hybrid Systems
- …VISUAL DESCRIPTION OF HYBRID SYSTEMS Radu Grosu, Thomas Stauner 1 Institut fur Informatik, TU…
- Cited by 2 (0 self) – Add To MetaCart
-
Prototyping of Hybrid Systems - From HyCharts to Hybrid Data-Flow Graphs
- …Prototyping of Hybrid Systems { From HyCharts to Hybrid Data-Flow Graphs { 1 Thomas Stauner a…
- Cited by 1 (1 self) – Add To MetaCart
-
Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts
- … Systems -- An Introduction to HyCharts -- Radu Grosu and Thomas Stauner ABCDE FGHIJ KLMNO TUM-I9801…
- Cited by 8 (5 self) – Add To MetaCart
-
Workshop Summary
- …@(email omitted); Christian Salzmann, Thomas Stauner BMW Car IT, Petuelring 116, D-80809 Munich, Germany {christian.salzmann,thomas.stauner…
- Add To MetaCart
-
Heterogeneous Development of Hybrid Systems
- … Heterogeneous Development of Hybrid Systems ? Istvan Peter 1 , Alexander Pretschner 2 , and Thomas Stauner…
- Cited by 1 (1 self) – Add To MetaCart
-
Requirements Specification of an Automotive System with Hybrid Sequence Charts
- … , Ingolf Kruger and Thomas Stauner y Institut fur Informatik, Technische Universitat Munchen D-80290…
- Cited by 2 (0 self) – Add To MetaCart
-
A modular visual model for hybrid systems
- …A Modular Visual Model for Hybrid Systems Radu Grosu, Thomas Stauner ⋆ and Manfred Broy Institut…
- Cited by 26 (14 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
