GitHub topics: cyber-resilience
tsherburne/scre-profile
Secure Cyber Resilient Engineering - Cameo Profiles
Size: 79.1 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 0
tsherburne/de-textbook
Digital Engineering (DE) Digital Textbook
Language: Python - Size: 19.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 4 - Forks: 0
ncatanoc/cyber_resilience_python
The goal of this project is to bring most of Event-B and refinement calculus into Python
Language: Jupyter Notebook - Size: 392 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
ncatanoc/cyber_resilience
Program synthesis for cyber-resilience. Generation of certified code for architectural tactics, for which we use Event-B and EventB2Java. We show how testing can be used to animate and check the generated code.
Size: 901 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
UNU-Macau/sc2ro
Smart Citizen Cyber Resilience Ontology
Size: 2.18 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
