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

378 views ◎
298 downloads ⇓