Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. In Workshop on Runtime Verification (RV 2009), Pages 40-59, 2009.
@InProceedings{FFM_RV_2009,
Author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent},
Title = {{R}untime {V}erification of {S}afety-{P}rogress {P}roperties},
BookTitle = {{W}orkshop on {R}untime {V}erification ({RV} 2009)},
Pages = {40--59},
Year = {2009}
}
Charger la référence EndNote (.ref)