Monitoring compliance policies over incomplete and disagreeing logs

Basin, David and Klaedtke, Felix and Marinovic, Srdjan and Zălinescu, Eugen
(2012) Monitoring compliance policies over incomplete and disagreeing logs.
In: Proceedings of the 3rd International Conference on Runtime Verification (RV'2012).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item