Results 271 to 280 of about 117,504 (308)

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly  

American Cancer Society Guidelines for Breast Cancer Screening: Update 2003

Ca-A Cancer Journal for Clinicians, 2003
Robert A Smith
exaly  

Considerations for diagnostic COVID-19 tests

Nature Reviews Microbiology, 2020
Olivier Vandenberg, Olivier Rochas, Alex van Belkum   +2 more
exaly  

American Cancer Society Guideline for Human Papillomavirus (HPV) Vaccine Use to Prevent Cervical Cancer and Its Precursors

Ca-A Cancer Journal for Clinicians, 2007
Diane M Harper, Robert A Smith, Francisco Garcia   +2 more
exaly  

Formal Verification

1994
openaire   +1 more source

Formal equivalence verification

2015
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar   +2 more
openaire   +1 more source

Dopamine responses comply with basic assumptions of formal learning theory

Nature, 2001
Wolfram Schultz
exaly  

Formal Verification Methods

2014
Osman Hasan, Sofiène Tahar
openaire   +1 more source

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

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