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, }