Towards safe cyber-physical systems › Research Explorer

Novosibirsk State University's Research Portal

Towards safe cyber-physical systems: The reflex language and its transformational semantics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

DOI

https://doi.org/10.1109/SIBCON.2019.8729633
Final published version

Original language	English
Title of host publication	2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings
Editors	O Stukach
Publisher	Institute of Electrical and Electronics Engineers Inc.
Number of pages	6
ISBN (Electronic)	9781538651414
ISBN (Print)	9781538651414
DOIs	https://doi.org/10.1109/SIBCON.2019.8729633
Publication status	Published - Apr 2019
Event	2019 International Siberian Conference on Control and Communications - Tomsk, Russian Federation Duration: 18 Apr 2019 → 20 Apr 2019

Publication series

Name	2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

Conference

Conference	2019 International Siberian Conference on Control and Communications
Abbreviated title	SIBCON 2019
Country/Territory	Russian Federation
City	Tomsk
Period	18.04.2019 → 20.04.2019

OECD FOS+WOS

1.02 COMPUTER AND INFORMATION SCIENCES
1.01 MATHEMATICS

Research areas

Cyber-physical systems, Deductive verification, Reflex language, Safety critical software

ID: 28552155