Searching for authors named "Michael Tautschnig" – sorted by Relevance.
-
Tool-support for the analysis of hybrid systems and models
- Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael
- Cited by 2 (1 self) – Add To MetaCart
-
Compatibility and reuse in component-based systems via type and unit inference
- Andreas Bauer 2,1 Michael Tautschnig 1 1) Institut für Informatik, Technische Universität München 2
- Cited by 1 (1 self) – Add To MetaCart

