Unfolding-based diagnosis of systems with an evolving topology (Q1959480)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unfolding-based diagnosis of systems with an evolving topology |
scientific article |
Statements
Unfolding-based diagnosis of systems with an evolving topology (English)
0 references
7 October 2010
0 references
model-based diagnosis
0 references
distributed and concurrent systems
0 references
partial order methods
0 references
graph rewriting
0 references
