702 search results - page 30 / 141 » Diagnosis of t s-Diagnosable Systems |
AICOM
1999
13 years 7 months ago
1999
ETS
2008
IEEE
13 years 6 months ago
2008
IEEE
IJNM
2011
13 years 2 months ago
2011
DEDS
2007
13 years 7 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...
ECAI
2000
Springer
14 years 21 hour 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...