Behavioral Specification Based Runtime Monitors for OSGi Services

Jan Olaf Blech, Yliès Falcone, Harald Rueß und Bernhard Schätz

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pp. 405–419

2012 · DOI: 10.1007/978-3-642-34026-0_30

Url: http://dx.doi.org/10.1007/978-3-642-34026-0_30

URL DOI BibTeX Zurück