FalconeMFR11

Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, 2011.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@article{FalconeMFR11,
   Author = {Falcone, Ylies and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},
   Title = {Runtime enforcement monitors: composition, synthesis, and enforcement abilities},
   Journal = {Formal Methods in System Design},
   Volume = {38},
   Number = {3},
   Pages = {223--262},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)