Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov
Design of safety critical systems by refinement
DATE, 2014.
@inproceedings{DATE-2014-IliasovASM,
author = "Alex Iliasov and Arseniy Alekseyev and Danil Sokolov and Andrey Mokhov",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.100",
pages = "1--4",
publisher = "{IEEE}",
title = "{Design of safety critical systems by refinement}",
year = 2014,
}