Results 181 to 190 of about 626,626 (192)

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

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

Formal methods

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

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  

Using formal specifications to support testing

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

Urinary incontinence in men after formal one-to-one pelvic-floor muscle training following radical prostatectomy or transurethral resection of the prostate (MAPS): two parallel randomised controlled trials

Lancet, The, 2011
Brian S Buckley, Claire Cochran, Mary M Kilonzo   +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  

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
Fulvio Babich
exaly  

Personal Learning Environments, social media, and self-regulated learning: A natural formula for connecting formal and informal learning

Internet and Higher Education, 2012
Nada Dabbagh
exaly  

Understanding Cancer Clusters

Ca-A Cancer Journal for Clinicians, 2004
exaly