Results 51 to 60 of about 7,872 (69)
Some of the next articles are maybe not open access.
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz, Robert A Smith
exaly
American Cancer Society Guidelines for Breast Cancer Screening: Update 2003
Ca-A Cancer Journal for Clinicians, 2003Robert A Smith
exaly
Considerations for diagnostic COVID-19 tests
Nature Reviews Microbiology, 2020Olivier Vandenberg +2 more
exaly
Dopamine responses comply with basic assumptions of formal learning theory
Nature, 2001Wolfram Schultz
exaly
Applying Formal Methods to Networking: Theory, Techniques, and Applications
IEEE Communications Surveys and Tutorials, 2015Junaid Qadir, Osman Hasan
exaly
Formal [4+1] Annulation Reactions in the Synthesis of Carbocyclic and Heterocyclic Systems
Chemical Reviews, 2015Jia-Rong Chen +2 more
exaly