Results 191 to 200 of about 146,057 (221)

Considerations for diagnostic COVID-19 tests

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

Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata

Handbook of Formal Languages, 1997
W. Kuich
semanticscholar   +1 more source

A general framework for formalizing UML with formal languages

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, 2001
William E. McUmber, B. Cheng
semanticscholar   +1 more source

A K-Based Formal Framework for Domain-Specific Modelling Languages

Formal Verification of Object-Oriented Software, 2011
Vlad Rusu, D. Lucanu
semanticscholar   +1 more source

Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude

Formal Modeling: Actors, Open Systems, Biological Systems, 2011
P. C. Ölveczky
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  

GOSPEL - Providing OCaml with a Formal Specification Language

World Congress on Formal Methods, 2019
A. Charguéraud, J. Filliâtre, C. Lourenço, Mário Pereira   +3 more
semanticscholar   +1 more source

American Cancer Society Guidelines for Breast Cancer Screening: Update 2003

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

Contextual Grammars and Formal Languages

Handbook of Formal Languages, 1997
A. Ehrenfeucht, G. Paun, G. Rozenberg
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