scientific article
From MaRDI portal
Publication:2978532
DOI10.4230/LIPIcs.FSTTCS.2014.417zbMath1360.68627MaRDI QIDQ2978532
Serge Haddad, Engel Lefaucheux, Nathalie Bertrand
Publication date: 25 April 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (9)
Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A necessary and sufficient condition for diagnosability of stochastic discrete event systems ⋮ Unnamed Item ⋮ Diagnosis and degradation control for probabilistic systems ⋮ Selective monitoring ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems ⋮ A tale of two diagnoses in probabilistic systems ⋮ Diagnosability of repairable faults
This page was built for publication:
