FalconeCDC13

Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control (CDC 2013), Pages 7271-7278, Florence, Italy, Décembre 2013.

Contact

Ylies Falcone

Référence BibTex

@InProceedings{FalconeCDC13,
   Author = {Falcone, Yliès and Marchand, Hervé},
   Title = {Runtime Enforcement of K-step Opacity},
   BookTitle = {52nd IEEE Conference on Decision and Control (CDC 2013)},
   Pages = {7271--7278},
   Address = {Florence, Italy},
   Month = {December},
   Year = {2013}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)