Sébastien Saudrais, Olivier Barais, Laurence Duchien, Noël Plouzeau. From formal specifications to QoS monitors. Journal of Object Technology, 6(11):1-20, 2007. [doi]
@article{SaudraisBDP07,
title = {From formal specifications to QoS monitors},
author = {Sébastien Saudrais and Olivier Barais and Laurence Duchien and Noël Plouzeau},
year = {2007},
doi = {10.5381/jot.2007.6.11.a1},
url = {http://dx.doi.org/10.5381/jot.2007.6.11.a1},
researchr = {https://researchr.org/publication/SaudraisBDP07},
cites = {0},
citedby = {0},
journal = {Journal of Object Technology},
volume = {6},
number = {11},
pages = {1-20},
}