702 search results - page 30 / 141 » Diagnosis of t s-Diagnosable Systems |
55
Voted
AICOM
1999
15 years 4 days ago
1999
ETS
2008
IEEE
14 years 11 months ago
2008
IEEE
71
Voted
IJNM
2011
14 years 7 months ago
2011
105
Voted
DEDS
2007
15 years 12 days 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...
93
Voted
ECAI
2000
Springer
15 years 4 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...