Results 241 to 250 of about 101,493 (254)

Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents

Rim Zrelli   +5 more
openaire   +1 more source

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

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

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

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

Formal methods

ACM Computing Surveys, 2009
James Woodcock   +2 more
exaly  

Using formal specifications to support testing

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

Do formal contracts and relational governance function as substitutes or complements?

Strategic Management Journal, 2002
Laura Poppo, Todd Zenger
exaly  

Allenes and Derivatives in Gold(I)- and Platinum(II)-Catalyzed Formal Cycloadditions

Accounts of Chemical Research, 2019
José L Mascareñas, Fernando Lopez
exaly  

Home - About - Disclaimer - Privacy