Diagnosability verification using compositional branching bisimulation.

Mona Noori Hosseini Bengt Lennartson

Published in: WODES (2016)

Keyphrases

discrete event
model checking
formal verification
fault diagnosis
discrete event systems
face verification
asynchronous circuits
branch and bound
search tree
signature verification
formal methods
data structure
formal analysis
artificial intelligence
simulation model
face detection
expert systems