Login / Signup
Hybrid Methodology for Verification of SW Safety Mechanisms.
Sarvesh Patankar
Sainath Karlapalem
Sakshi Biyani
Wen Chen
Roman Chovanec
Martin Vlk
Martin Kaspar
Published in:
VTS (2021)
Keyphrases
</>
hybrid approaches
information retrieval
multiscale
formal methods
data mining
evolutionary algorithm
control system
monitoring system
model checking
conceptual model
computational models
hybrid learning
safety critical