Results 281 to 290 of about 141,566 (303)
Some of the next articles are maybe not open access.

Formal [4+1] Annulation Reactions in the Synthesis of Carbocyclic and Heterocyclic Systems

Chemical Reviews, 2015
Jia-Rong Chen   +2 more
exaly  

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher   +2 more
exaly  

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  

Formal Childcare Use and Household Socio-economic Profile in France, Italy, Spain and UK

Population Review, 2011
Marija Mamolo   +2 more
openaire   +1 more source

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  

Home - About - Disclaimer - Privacy