Počet záznamů: 1
Combined Global and Local Search for the Falsification of Hybrid Systems
- 1.Kuřátko, Jan - Ratschan, Stefan
Combined Global and Local Search for the Falsification of Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2014 - (Legay, A.; Bozga, M.), s. 146-160. Lecture Notes in Computer Science, 8711. ISBN 978-3-319-10511-6. ISSN 0302-9743.
[FORMATS 2014. International Conference /12./. Florence (IT), 08.09.2014-10.09.2014]
http://hdl.handle.net/11104/0236241
Počet záznamů: 1