Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems

Number of the records: 1

1.

SYSNO	0334000
Title	Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems
Title	Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů
Author(s)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Source Title	SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. S. 7-7. - New York : ACM, 2009 / Kai H. ; Sekigawa H.
Conference	SNC2009. International Workshop on Symbolic-Numeric Computation /3./, 03.08.2009-05.08.2009, Kyoto
Document Type	Abstrakt
Grant	GC201/08/J020 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	US
Keywords	algorithms * design * reliability * verification
URL	https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Permanent Link	http://hdl.handle.net/11104/0178847

Number of the records: 1