Towards safe embedded systems › Research Explorer

Novosibirsk State University's Research Portal

Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers^∗

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

DOI

https://doi.org/10.1109/SIBIRCON48586.2019.8958258
Final published version

Original language	English
Title of host publication	SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	857-861
Number of pages	5
ISBN (Electronic)	9781728144016
DOIs	https://doi.org/10.1109/SIBIRCON48586.2019.8958258
Publication status	Published - Oct 2019
Event	2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Russian Federation Duration: 21 Oct 2019 → 27 Oct 2019

Publication series

Name	SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Conference

Conference	2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
Country/Territory	Russian Federation
City	Novosibirsk
Period	21.10.2019 → 27.10.2019

OECD FOS+WOS

1.02 COMPUTER AND INFORMATION SCIENCES
1.01 MATHEMATICS

Research areas

embedded systems, IndustrialC, safety-critical software, translational semantics

ID: 28552053