Skip to Main content Skip to Navigation
Journal articles

A Tale of Two Diagnoses in Probabilistic Systems

Nathalie Bertrand 1, * Serge Haddad 2, 3, * Engel Lefaucheux 1, 2
* Corresponding author
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Journal articles
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-02430814
Contributor : Nathalie Bertrand <>
Submitted on : Tuesday, January 7, 2020 - 3:30:59 PM
Last modification on : Friday, April 30, 2021 - 10:05:19 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Journal of Information and Computation, Elsevier, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩. ⟨hal-02430814⟩

Share

Metrics

Record views

99

Files downloads

461