Number of the records: 1
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems
- 1.
SYSNO ASEP 0334000 Document Type A - Abstract R&D Document Type The record was not marked in the RIV R&D Document Type Není vybrán druh dokumentu 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. - New York : ACM, 2009 / Kai H. ; Sekigawa H. - ISBN 978-1-60558-664-9
S. 7-7Number of pages 1 s. Action SNC2009. International Workshop on Symbolic-Numeric Computation /3./ Event date 03.08.2009-05.08.2009 VEvent location Kyoto Country JP - Japan Event type WRD Language eng - English Country US - United States Keywords algorithms ; design ; reliability ; verification Subject RIV IN - Informatics, Computer Science R&D Projects GC201/08/J020 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000273427300004 DOI 10.1145/1577190.1577195 Annotation Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Already now, more or less no new consumer device or industrial machinery does not have some form of integrated computation. Since such systems not only interact with each other, but also with humans, their malfunction can endanger human life, and hence it is essential for them to work correctly. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2010
Number of the records: 1