(Q107510320)
Statements
1 reference
1 reference
2018
1 reference
Formal Techniques for Cyber Resilience (English)
1 reference
Modeling, Synthesis, and Verification (English)
1 reference
Alsaleh, Mohammed Noraden
1 reference
1 reference
167 page
1 reference