Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods.

Mahmoud Abdelgawad Indrakshi Ray

Published in: DBSec (2024)

Keyphrases

formal methods
mission critical
formal analysis
real time systems
safety critical
knowledge based systems
data analysis
databases
query processing
source code
web applications
distributed systems
software systems
cost effective