Formal Techniques for Cyber Resilience
Original title: Formal Techniques for Cyber Resilience
Original language: English
Subtitle: Modeling, Synthesis, and Verification
Bibliographic databases:
Editions
No editions found
Comments
There is nothing here
Lists
There is nothing here
Work -