FalconeDiscreteEvent14

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In 12th IFAC - IEEE International Workshop on Discrete Event Systems, 2014.

Contact

Ylies Falcone

BibTex Reference

@InProceedings{FalconeDiscreteEvent14,
   Author = {Pinisetty, Srinivas and Falcone, Yliès and Jéron, Thierry and Marchand, Hervé},
   Title = {{R}untime {E}nforcement of {P}arametric {T}imed {P}roperties with {P}ractical {A}pplications},
   BookTitle = {12th {IFAC} - {IEEE} {I}nternational {W}orkshop on {D}iscrete {E}vent {S}ystems},
   Year = {2014}
}

EndNote Reference [help]

Get EndNote Reference (.ref)