Behavioral Specification Based Runtime Monitors for OSGi Services

Jan Olaf Blech, Yliès Falcone, Harald Rueß and 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