C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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