falcone:hal-00987985

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

Télécharger l'article

Charger l'article : Adobe portable document (pdf)

Copyright :

Contact

Ylies Falcone

Référence BibTex

@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}
}

Référence EndNote [help]

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