Počet záznamů: 1
Incremental Computation of Succinct Abstractions for Hybrid Systems
- 1.Dzetkulič, Tomáš - Ratschan, Stefan
Incremental Computation of Succinct Abstractions for Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Berlin: Springer, 2011 - (Fahrenberg, U.; Tripakis, s.), s. 271-285. Lecture Notes in Computer Science, 6919. ISBN 978-3-642-24309-7. ISSN 0302-9743.
[FORMATS 2011. International Conference on Formal Modeling and Analysis of Timed Systems /9./. Aalborg (DK), 21.09.2011-23.09.2011]
http://hdl.handle.net/11104/0200568
Citováno: 3
--- LI, X. - BAUER, K. - SCHNEIDER, K. Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS). ISSN 2325-0348, 2013, p. 1405-1412. [WOS]
--- DAMM, W. - FINKBEINER, B. - RAKOW, A. What You Really Need To Know About Your Neighbor. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. ISSN 2075-2180, 2016, no. 229, p. 21-34. [WOS]
--- LI, X. - SCHNEIDER, K. Verification Condition Generation for Hybrid Systems. 2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE). 2015, p. 238-247. [WOS]
Počet záznamů: 1