Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Augmenting formal development of control systems with quantitative reliability assessment. In Giovanna Di Marzo Serugendo, John S. Fitzgerald, editors, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010. pages 61-70, ACM, 2010. [doi]
@inproceedings{TarasyukTL10-0,
title = {Augmenting formal development of control systems with quantitative reliability assessment},
author = {Anton Tarasyuk and Elena Troubitsyna and Linas Laibinis},
year = {2010},
doi = {10.1145/2401736.2401743},
url = {https://doi.org/10.1145/2401736.2401743},
researchr = {https://researchr.org/publication/TarasyukTL10-0},
cites = {0},
citedby = {0},
pages = {61-70},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010},
editor = {Giovanna Di Marzo Serugendo and John S. Fitzgerald},
publisher = {ACM},
isbn = {978-1-4503-0289-0},
}