Login / Signup
Incremental Abstraction for Diagnosability Verification of Modular Systems.
Mona Noori Hosseini
Bengt Lennartson
Published in:
ETFA (2019)
Keyphrases
</>
discrete event systems
management system
intelligent systems
databases
computer systems
retrieval systems
metadata
data driven
building blocks
incremental learning
real time
case study