FalconeFM12

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. What can you verify and enforce at runtime?. STTT, 14(3):349-382, 2012.

Download

Download paper: (link)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@article{FalconeFM12,
   Author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent},
   Title = {What can you verify and enforce at runtime?},
   Journal = {STTT},
   Volume = {14},
   Number = {3},
   Pages = {349--382},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)