 |
Journal articles
Opacity for linear constraint Markov chains
Béatrice Bérard 1
Author Employer institution : UMPC IdHAL : beatrice-berard
Olga Kouchnarenko 2
Author
John Mullins 3
Author
Mathieu Sassolas 4, 5
Author
1
MoVe - Modélisation et Vérification (France)
- LIP6 (4 Place JUSSIEU 75252 PARIS CEDEX 05 - France)
- SU - Sorbonne Université (21 rue de l’École de médecine - 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7606 (France)
2
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)
- UTBM - Université de Technologie de Belfort-Montbeliard (France)
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France)
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France)
3
EPM - École Polytechnique de Montréal (Campus de l'Université de Montréal - 2500, chemin de Polytechnique - Montréal (Québec) H3T 1J4 - Canada)
4
UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
5
LACL - Laboratoire d'Algorithmique Complexité et Logique (LACL, Université Paris-Est Créteil Val-de-Marne, 61 avenue du Général de Gaulle 94010 Créteil cedex - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 : EA4219 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
Document type :
Journal articles
Domain :
Complete list of metadata
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 : Friday, April 2, 2021 - 3:34:01 AM
Contributor : Béatrice Bérard <>
Submitted on : Saturday, March 23, 2019 - 10:19:20 PM
Last modification on : Friday, April 2, 2021 - 3:34:01 AM
Links full text
Identifiers
- HAL Id : hal-02077787, version 1
- DOI : 10.1007/s10626-017-0259-4
Collections
SORBONNE-UNIVERSITE | CNRS | UNIV-BM | UNIV-FCOMTE | UNIV-BM-THESE | UPEC-UPEM | LACL | FEMTO-ST | LIP6 | SU-SCIENCES | UPEC | SU-TI
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⟩
Metrics
Record views