Results 341 to 350 of about 21,783,491 (356)

Model Checking

2017
openaire   +1 more source

Pediatric palliative care in the community

Ca-A Cancer Journal for Clinicians, 2015
Erica C Kaye, Deena R Levine, Justin N Baker   +2 more
exaly  

Statistical Model Checking: Past, Present, and Future

Leveraging Applications of Formal Methods, 2016
K. Larsen, Axel Legay
semanticscholar   +1 more source

Proactive self-adaptation under uncertainty: a probabilistic model checking approach

ESEC/SIGSOFT FSE, 2015
Gabriel A. Moreno, J. Cámara, D. Garlan, B. Schmerl   +3 more
semanticscholar   +1 more source

Implementing personalized pathways for cancer follow‐up care in the United States: Proceedings from an American Cancer Society–American Society of Clinical Oncology summit

Ca-A Cancer Journal for Clinicians, 2019
Catherine M Alfano, Smita Bhatia, Jessica M Scott   +2 more
exaly  

The American Cancer Society 2035 challenge goal on cancer mortality reduction

Ca-A Cancer Journal for Clinicians, 2019
Ahmedin Jemal Dvm, Farhad Islami, Otis W Brawley   +2 more
exaly  

Prediction models in cancer care

Ca-A Cancer Journal for Clinicians, 2011
Andrew J Vickers
exaly  

Clinical trials in the era of personalized oncology

Ca-A Cancer Journal for Clinicians, 2011
Michael L Maitland
exaly  

Promoting cancer screening within the patient centered medical home

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

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science, 2015
D. D'Souza, A. Lal, K. Larsen
semanticscholar   +1 more source