Lars Hamann, Oliver Hofrichter, Martin Gogolla. OCL-Based Runtime Monitoring of Applications with Protocol State Machines. In Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos, editors, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Volume 7349 of Lecture Notes in Computer Science, pages 384-399, Springer, 2012. [doi]
@inproceedings{HamannHG12,
title = {OCL-Based Runtime Monitoring of Applications with Protocol State Machines},
author = {Lars Hamann and Oliver Hofrichter and Martin Gogolla},
year = {2012},
doi = {10.1007/978-3-642-31491-9_29},
url = {http://dx.doi.org/10.1007/978-3-642-31491-9_29},
researchr = {https://researchr.org/publication/HamannHG12},
cites = {0},
citedby = {0},
pages = {384-399},
booktitle = {Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings},
editor = {Antonio Vallecillo and Juha-Pekka Tolvanen and Ekkart Kindler and Harald Störrle and Dimitrios S. Kolovos},
volume = {7349},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-31490-2},
}