Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement monitoring wrt. the safety-progress classification of properties. In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009), Pages 593-600, 2009.
@InProceedings{FalconeFM09a,
Author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent},
Title = {Enforcement monitoring wrt. the safety-progress classification of properties},
BookTitle = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC 2009)},
Pages = {593--600},
Year = {2009}
}
Charger la référence EndNote (.ref)