Formal Techniques for Cyber Resilience: Modeling, Synthesis, and Verification

Alsaleh, M. N. (2018). Formal Techniques for Cyber Resilience: Modeling, Synthesis, and Verification. Unc Charlotte Electronic Theses And Dissertations.

Analytics

152 views ◎
123 downloads ⇓