0333922 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Ratschan, Stefan - Smaus, J.G.Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.
[Hledání chyb hybridních systémů pomocí optimalizace odhadu kvality podle abstrakce.]
Tests and Proofs. Berlin: Springer, 2009 - (Dubois, C.), s. 153-168. Lecture Notes in Computer Science, 5668. ISBN 978-3-642-02948-6.
[TAP 2009. International Conference on Tests and Proofs /3./. Zurich (CH), 02.07.2009-03.07.2009]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybridní dynamické systémy * hledání chyb
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0178787