Výsledky vyhledávání
- 1.0537592 - ÚI 2021 RIV AU eng G - Konferenční sborník (zahraniční konf.)
Dang, T. (ed.) - Ratschan, Stefan (ed.)
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT.
Waterloo: Open Publishing Association, 2020. 55 s. Electronic Proceedings in Theoretical Computer Science, 331. ISSN 2075-2180.
[SNR 2020: International Workshop on Symbolic-Numeric Methods for Reasoning /6./. Vienna / Online (AT), 31.08.2020-31.08.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: formal verification * automated reasoning * cyber-physical systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://eptcs.web.cse.unsw.edu.au/content.cgi?SNR2020#EPTCS331.0
Trvalý link: http://hdl.handle.net/11104/0315415