Results 371 to 380 of about 3,649,820 (385)

Formal Verification of Side-channel Countermeasures via Elementary Circuit Transformations

IACR Cryptology ePrint Archive, 2018
J. Coron
semanticscholar   +1 more source

Formal equivalence 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  

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  

Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review

Comput. Stand. Interfaces, 2018
A. Souri, Nima Jafari Navimipour, A. Rahmani   +2 more
semanticscholar   +1 more source

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

Strategic Management Journal, 2002
Laura Poppo, Todd Zenger
exaly  

Formal Verification in Automotive Industry: Enablers and Obstacles

Leveraging Applications of Formal Methods, 2018
M. Nyberg, D. Gurov, Christian Lidström, A. Rasmusson, Jonas Westman   +4 more
semanticscholar   +1 more source

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

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

Formal Models of Verification

2006
Rudolf Avenhaus, Morton J. Canty
openaire   +2 more sources

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