Results 221 to 228 of about 404,740 (228)

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Zhiliang Wang, Xingang Shi
exaly  

Using formal specifications to support testing

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

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
Fulvio Babich
exaly  

ROUTINE FORMAL FETAL MOVEMENT COUNTING AND RISK OF ANTEPARTUM LATE DEATH IN NORMALLY FORMED SINGLETONS

Lancet, The, 1989
Lil Valentin, Diana Elbourne
exaly  

Scalable, Stereocontrolled Formal Syntheses of (+)‐Isoschizandrin and (+)‐Steganone: Development and Applications of Palladium(II)‐Catalyzed Atroposelective C−H Alkynylation

Angewandte Chemie - International Edition, 2018
Zhuo-Zhuo Zhang, Bingfeng Shi
exaly  

The Interrelationships Among Informal Institutions, Formal Institutions, and Inward Foreign Direct Investment

Journal of Management, 2013
Toyah L Miller, Michael A Hitt, R Michael Holmes Jr   +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  

Phenol photocatalytic degradation over anisotropic TiO2 nanomaterials: Kinetic study, adsorption isotherms and formal mechanisms

Applied Catalysis B: Environmental, 2015
chantal Guillard, Zouhaier Ksibi, Gilles Berhault   +2 more
exaly