Eduard Kamburjan, Michael Lienhardt. Type-Based Verification of Delegated Control in Hybrid Systems. In Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, editors, Active Object Languages: Current Research Trends. Volume 14360 of Lecture Notes in Computer Science, pages 323-358, Springer, 2024. [doi]
@incollection{KamburjanL24,
title = {Type-Based Verification of Delegated Control in Hybrid Systems},
author = {Eduard Kamburjan and Michael Lienhardt},
year = {2024},
doi = {10.1007/978-3-031-51060-1_12},
url = {https://doi.org/10.1007/978-3-031-51060-1_12},
researchr = {https://researchr.org/publication/KamburjanL24},
cites = {0},
citedby = {0},
pages = {323-358},
booktitle = {Active Object Languages: Current Research Trends},
editor = {Frank S. de Boer and Ferruccio Damiani and Reiner Hähnle and Einar Broch Johnsen and Eduard Kamburjan},
volume = {14360},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-51060-1},
}