Results 331 to 340 of about 23,407,383 (367)

Stochastic Model Checking

2006
openaire   +2 more sources

BDD-Based Symbolic Model Checking

Handbook of Model Checking, 2018
S. Chaki, A. Gurfinkel
semanticscholar   +1 more source

Colorectal cancer screening for average‐risk adults: 2018 guideline update from the American Cancer Society

Ca-A Cancer Journal for Clinicians, 2018
Timothy R Church, Christopher R Flowers, Carmen E Guerra   +2 more
exaly  

Hardware model checking competition 2017

Formal Methods in Computer-Aided Design, 2017
Armin Biere, T. V. Dijk, Keijo Heljanko
semanticscholar   +1 more source

Model Checking Parameterized Systems

Handbook of Model Checking, 2018
P. Abdulla, A. Sistla, Muralidhar Talupur   +2 more
semanticscholar   +1 more source

Self-management: Enabling and empowering patients living with cancer as a chronic illness

Ca-A Cancer Journal for Clinicians, 2011
Ruth McCorkle, Mark Lazenby, Dena Schulman-Green   +2 more
exaly  

Model Checking Procedural Programs

Handbook of Model Checking, 2018
R. Alur, A. Bouajjani, J. Esparza
semanticscholar   +1 more source

Improving patient and caregiver outcomes in oncology: Team‐based, timely, and targeted palliative care

Ca-A Cancer Journal for Clinicians, 2018
David Hui, Camilla Zimmermann, Eduardo Bruera   +2 more
exaly  

Explicit-State Model Checking

Handbook of Model Checking, 2018
G. Holzmann
semanticscholar   +1 more source

Model Checking

2016
Bolpagni M., Mastrolembo Ventura S
openaire   +3 more sources