702 search results - page 30 / 141 » Diagnosis of t s-Diagnosable Systems |
AICOM
1999
14 years 10 months ago
1999
ETS
2008
IEEE
14 years 8 months ago
2008
IEEE
53
Voted
IJNM
2011
14 years 5 months ago
2011
89
Voted
DEDS
2007
14 years 10 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
77
Voted
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...