Behavioral Specification Based Runtime Monitors for OSGi Services.

Jan Olaf Blech, Ylis Falcone, Harald Rue, Bernhard Schtz

Browse the full ISoLA paper archive.