0334000 - ÚI 2010 US eng A - Abstract
Ratschan, Stefan
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems.
[Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů.]
SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009 - (Kai, H.; Sekigawa, H.). s. 7-7. ISBN 978-1-60558-664-9.
[SNC2009. International Workshop on Symbolic-Numeric Computation /3./. 03.08.2009-05.08.2009, Kyoto]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : algorithms * design * reliability * verification
Subject RIV: IN - Informatics, Computer Science
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Permanent Link: http://hdl.handle.net/11104/0178847
Ratschan, Stefan
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems.
[Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů.]
SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009 - (Kai, H.; Sekigawa, H.). s. 7-7. ISBN 978-1-60558-664-9.
[SNC2009. International Workshop on Symbolic-Numeric Computation /3./. 03.08.2009-05.08.2009, Kyoto]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : algorithms * design * reliability * verification
Subject RIV: IN - Informatics, Computer Science
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Permanent Link: http://hdl.handle.net/11104/0178847