Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. In Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Volume 7635, Pages 494-509, 2012.
Charger l'article :
Doi page
Copyright :
@InProceedings{BlechFB12,
Author = {Olaf Blech, Jan and Falcone, Yliès and Becker, Klaus},
Title = {Towards Certified Runtime Verification},
BookTitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012},
Volume = {7635},
Pages = {494--509},
Series = {Lecture Notes in Computer Science},
Year = {2012}
}
Charger la référence EndNote (.ref)