Results 241 to 250 of about 115,357 (261)

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
Fulvio Babich
exaly  

Formal verification

2018
openaire   +1 more source

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  

Formal Verification

2003
openaire   +1 more source

Formal Property Verification

2006
Ken McMillan, Limor Fix
openaire   +1 more source

Formal Property Verification

2018
openaire   +1 more source

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  

Formal Verification

openaire   +1 more source