Skip to main content

Tool−support for the analysis of hybrid systems and models

Andreas Bauer‚ Markus Pister and Michael Tautschnig

Address
Nice‚ France
Book Title
Proceedings of the 2007 Conference on Design‚ Automation and Test in Europe (DATE)
ISBN
978−3−9810801−2−4
Month
April
Pages
924–929
Publisher
European Design and Automation Association
Year
2007