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, 2015
Junaid Qadir, Osman Hasan
exaly  

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  

Phenol photocatalytic degradation over anisotropic TiO2 nanomaterials: Kinetic study, adsorption isotherms and formal mechanisms

Applied Catalysis B: Environmental, 2015
chantal Guillard   +2 more
exaly  

Home - About - Disclaimer - Privacy