Results 331 to 340 of about 1,613,251 (354)

Building consistent formal specification for the service enterprise agility foundation

Journal of Service Science Research, 2012
N. Kryvinska
semanticscholar   +1 more source

Formal specification of the x86 instruction set architecture

, 2012
Ulan Degenbaev
semanticscholar   +1 more source

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  

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Lectures on Runtime Verification, 2018
E. Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, O. Maler, D. Ničković, S. Sankaranarayanan   +6 more
semanticscholar   +1 more source

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  

Foundations of Algebraic Specification and Formal Software Development

Monographs in Theoretical Computer Science. An EATCS Series, 2012
D. Sannella, A. Tarlecki
semanticscholar   +1 more source

Patterns for Representing FMEA in Formal Specification of Control Systems

IEEE International Symposium on High-Assurance Systems Engineering, 2011
I. Lopatkin, A. Iliasov, A. Romanovsky, Y. Prokhorova, E. Troubitsyna   +4 more
semanticscholar   +1 more source

Dopamine responses comply with basic assumptions of formal learning theory

Nature, 2001
Wolfram Schultz
exaly