Content
@
0 reply
0 recast
0 reaction
Mantej Rajpal
@mantej
revolutionizing cyber resiliency for military systems using formal methods: https://www.darpa.mil/research/research-spotlights/formal-methods
0 reply
0 recast
3 reactions
