Login / Signup
Safety Critical Networks using Commodity SDNs.
Ashish Kashinath
Monowar Hasan
Rakesh Kumar
Sibin Mohan
Rakesh B. Bobba
Smruti Padhy
Published in:
INFOCOM (2021)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
agent architecture
nuclear power plant
support systems
embedded systems
real time
regulatory requirements
open source
distributed systems
knowledge acquisition