Results 161 to 170 of about 856,744 (186)
Some of the next articles are maybe not open access.

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

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Zhiliang Wang, Xingang Shi
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons   +2 more
exaly  

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
Fulvio Babich
exaly  

The Interrelationships Among Informal Institutions, Formal Institutions, and Inward Foreign Direct Investment

Journal of Management, 2013
Toyah L Miller   +2 more
exaly  

Home - About - Disclaimer - Privacy