falcone:hal-00987985

Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Contact

Ylies Falcone

BibTex Reference

@article{falcone:hal-00987985,
   Author = {Falcone, Yliès and Marchand, Hervé},
   Title = {{E}nforcement and {V}alidation (at runtime) of {V}arious {N}otions of {O}pacity},
   Journal = {{D}iscrete {E}vent {D}ynamic {S}ystems},
   Publisher = {Springer},
   Year = {2014}
}

EndNote Reference [help]

Get EndNote Reference (.ref)