A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System.

Monika Singh Ashok Kumar Sharma Ruhi Saxena

Published in: ICTCS (2016)

Keyphrases

safety critical
formal methods
real time
reinforcement learning
low cost
open source
knowledge based systems
model checking