Počet záznamů: 1
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- 1.RATSCHAN, Stefan, SMAUS, J.G. Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. In: DUBOIS, C., ed. Tests and Proofs. Berlin: Springer, 2009, s. 153-168. Lecture Notes in Computer Science, 5668. ISBN 978-3-642-02948-6. Dostupné z: doi: 10.1007/978-3-642-02949-3_12
Počet záznamů: 1