Results 61 to 70 of about 717 (70)
Some of the next articles are maybe not open access.
Applying Formal Methods to Networking: Theory, Techniques, and Applications
IEEE Communications Surveys and Tutorials, 2015Junaid Qadir, Osman Hasan
exaly
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
IEEE Communications Surveys and Tutorials, 2019Yahui Li, Zhiliang Wang, Xingang Shi
exaly
Using formal specifications to support testing
ACM Computing Surveys, 2009Robert M Hierons +2 more
exaly
Formal methods for specification and analysis of communication protocols
IEEE Communications Surveys and Tutorials, 2002Fulvio Babich
exaly

