FalconeFM09-RV

Ylič Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety Progress Properties. In Runtime Verification 2009, Lecture Notes in Computer Science, Volume, Grenoble, France, June 2009.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{FalconeFM09-RV,
   Author = {Falcone, Ylič and Fernandez, Jean-Claude and Mounier, Laurent},
   Title = {Runtime Verification of Safety Progress Properties},
   BookTitle = {Runtime Verification 2009},
   Volume = {},
   Series = {Lecture Notes in Computer Science},
   Address = {Grenoble, France},
   Month = {June},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)