Introduction.- Finite Automata.- Active Systems.- Diagnosis Problems.- Monolithic Diagnosis.- Modular Diagnosis.- Reactive Diagnosis.- Monotonic Diagnosis.- Reusable Diagnosis.- Sensitive Diagnosis.- Related Work.- Index.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.