Opacity for linear constraint Markov chains

Béatrice Bérard 1 Olga Kouchnarenko 2 John Mullins 3 Mathieu Sassolas 4, 5
1 MoVe - Modélisation et Vérification
LIP6
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
3 EPM - École Polytechnique de Montréal
4 UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
5 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Journal articles
Complete list of metadatas
https://hal.sorbonne-universite.fr/hal-02077787
Contributor : Béatrice Bérard <>
Submitted on : Saturday, March 23, 2019 - 10:19:20 PM
Last modification on : Wednesday, November 6, 2019 - 1:37:58 AM

Identifiers

Collections

SORBONNE-UNIVERSITE | CNRS | UNIV-BM | UNIV-FCOMTE | UNIV-BM-THESE | UPEC-UPEM | LACL | FEMTO-ST | LIP6 | SU-SCIENCES | UPEC

Citation

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Opacity for linear constraint Markov chains. Discrete Event Dynamic Systems, Springer Verlag, 2018, 28 (1), pp.83-108. ⟨10.1007/s10626-017-0259-4⟩. ⟨hal-02077787⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

177

Contact

Informations

CCSD