Search results
- 1.0537592 - ÚI 2021 RIV AU eng G - Proceedings (international conference)
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]
Institutional support: RVO:67985807
Keywords : formal verification * automated reasoning * cyber-physical systems
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0315415