BlechFB12

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.

Download

Download paper: Doi page

Copyright notice:

Contact

Ylies Falcone

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)