A Survey on Network Verification and Testing with Formal Methods: Approaches and Challenges release_h3op4heca5d75bpokfsbfevnwe

by Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang

Published in IEEE Communications Surveys and Tutorials by Institute of Electrical and Electronics Engineers (IEEE).

2018   p1-1

Archived Files and Locations

application/pdf  5.5 MB
file_e3efqfulcnbgjhcpx7jgl4nu6u
ieeexplore.ieee.org (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2018
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1553-877X
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a9192d05-4cda-4683-9a97-b9a3e979fba9
API URL: JSON