Jean-Claude Fernandez, Laurent Mounier Yliès Falcone. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Research Report Verimag, No 0, August 2008.
Download paper: (link)
Copyright notice:
[ Test and run-time verification ]
@TechReport{verimag-TR-2008-7,
Author = {Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier},
Title = {Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties},
Number = {0},
Institution = {Verimag},
Address = {Centre Équation, 38610 Gières},
Month = {August},
Year = {2008}
}
Get EndNote Reference (.ref)