Results 341 to 350 of about 1,613,251 (354)

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

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

Combining UML, ASTD and B for the formal specification of an access control filter

Innovations in Systems and Software Engineering, 2011
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Y. Ledru, M. Frappier   +5 more
semanticscholar   +1 more source

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  

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 Requirements Specification

2010
Jonathan P. Bowen, Emil Vassev, Mike Hinchey   +2 more
openaire   +2 more sources

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  

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

Accounts of Chemical Research, 2019
José L Mascareñas
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