Searching for "Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate." – sorted by Relevance.
-
Printed by AlfapressPreface
- Stefan Ratschan and Jan-Georg Smaus Finding errors of hybrid systems by optimising an abstraction-based
- Add To MetaCart

