Stepan Shevtsov
Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees
FSE, 2016.
@inproceedings{FSE-2016-Shevtsov,
author = "Stepan Shevtsov",
booktitle = "{Proceedings of the 24th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/2950290.2983949",
isbn = "978-1-4503-4218-6",
pages = "1060--1062",
publisher = "{ACM}",
title = "{Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees}",
year = 2016,
}











