Results 291 to 300 of about 32,620 (305)

Formal methods

ACM Computing Surveys, 2009
James Woodcock, Peter Gorm Larsen, Juan C Bicarregui   +2 more
exaly  

Using formal specifications to support testing

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

Formal Model Extraction for Combinational Equivalence Checking

Journal of Convergence Information Technology, 2012
Guiling Zhang -, Dantong Ouyang -, Hongtao Bai -, Hailin Zeng -, TieMin Ma -, YueHua Zhang -   +5 more
openaire   +1 more source

Iridium-catalysed enantioselective formal deoxygenation of racemic alcohols via asymmetric hydrogenation

Nature Catalysis, 2019
Jia Zheng, Bram B C Peters, Sudipta Ponra   +2 more
exaly  

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

Strategic Management Journal, 2002
Laura Poppo, Todd Zenger
exaly  

On Form, Formalism and Equivalence

1990
openaire   +1 more source

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

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

Construction of Nine‐Membered Heterocycles through Palladium‐Catalyzed Formal [5+4] Cycloaddition

Angewandte Chemie - International Edition, 2017
Li-Cheng Yang, Zi-Qiang Rong, Ya-Nong Wang   +2 more
exaly  

Understanding Cancer Clusters

Ca-A Cancer Journal for Clinicians, 2004
exaly  

Synthesis of 2D Imine-Linked Covalent Organic Frameworks through Formal Transimination Reactions

Journal of the American Chemical Society, 2017
Edon Vitaku, William Dichtel
exaly