Ylič Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track, 2009.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Test and run-time verification ]
@InProceedings{FalconeFM09-SVT,
Author = {Falcone, Ylič and Fernandez, Jean-Claude and Mounier, Laurent},
Title = {Enforcement Monitoring wrt. the Safety-Progress Classification of Properties},
BookTitle = {Proceedings of the 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track},
Month = {},
Year = {2009}
}
Get EndNote Reference (.ref)