FalconeHR13

Y. Falcone, K. Havelung, G. Reger. A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems, Manfred Broy, Doron Peled (eds.), pp. 141-176, IOS Press, 2013.

Contact

Ylies Falcone

Référence BibTex

@InCollection{FalconeHR13,
   Author = {Falcone, Y. and Havelung, K. and Reger, G.},
   Title = {A Tutorial on Runtime Verification},
   BookTitle = {Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems},
   editor = {Broy, Manfred and Peled, Doron},
   Pages = {141--176},
   Publisher = {IOS Press},
   Year = {2013}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)