Towards Certified Runtime Verification

Jan Olaf Blech, Yliès Falcone und Klaus Becker

Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012),

2012 · Kyoto, Japan