Efficient Safety Verification of Discrete Event Systems.

Bengt Lennartson

Published in: CASE (2023)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
cost effective
telecommunication networks
intelligent systems
activity recognition
formal methods
failure diagnosis