Fault Latencies of Concurrent Checking FSMs.
Roman GootIlya LevinSergei OstaninPublished in: DSD (2002)
Keyphrases
- finite state machines
- fault detection
- fault diagnosis
- long running
- social networks
- fault isolation
- mutual exclusion
- consistency checking
- failure modes
- hybrid automata
- databases
- concurrent programs
- multiple faults
- fault management
- concurrent execution
- nuclear power plant
- transmission line
- wavelet transform
- relational databases
- data structure
- case study
- artificial intelligence