C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.
Weiyu Xu
Xi Wu
Yongxin Zhao
Yongjian Li
Published in:
SEKE (2022)
Keyphrases
</>
network architecture
formal verification
artificial neural
neural network
data analysis
software systems
artificial intelligence
artificial neural networks
user interface
software development
model checking
network design
connection weights
symbolic model checking
automated verification