Results 231 to 240 of about 115,357 (261)

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

Chemical Reviews, 2015
Jia-Rong Chen, Xiao-Qiang Hu, Liang-Qiu Lu   +2 more
exaly  

New Opportunities for Integrated Formal Methods

ACM Computing Surveys, 2020
Mario Gleirscher, Simon Foster, James Woodcock   +2 more
exaly  

Formal Agent Verification

2023
openaire   +1 more source

Cyclic Anhydrides in Formal Cycloadditions and Multicomponent Reactions

Chemical Reviews, 2009
Jared T Shaw
exaly  

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys and Tutorials, 2015
Junaid Qadir, Osman Hasan
exaly  

Formal versus informal entrepreneurship in emerging economies: The roles of governance and the financial sector

Journal of Business Research, 2020
Anis Omri
exaly  

formal verification

2000
openaire   +1 more source

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 property verification

2015
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar   +2 more
openaire   +1 more source

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons, Jonathan P Bowen, John Derrick   +2 more
exaly