Results 341 to 350 of about 23,407,383 (367)

Model Checking Security Protocols

Handbook of Model Checking, 2018
D. Basin, Cas J. F. Cremers, C. Meadows
semanticscholar   +1 more source

Breast cancer and circadian disruption from electric lighting in the modern world

Ca-A Cancer Journal for Clinicians, 2014
Richard G Stevens, George C Brainard, Steven W Lockley   +2 more
exaly  

Combining Model Checking and Deduction

Handbook of Model Checking, 2018
N. Shankar
semanticscholar   +1 more source

American Joint Committee on Cancer acceptance criteria for inclusion of risk models for individualized prognosis in the practice of precision medicine

Ca-A Cancer Journal for Clinicians, 2016
Michael W Kattan, Justin H Guinney, Susan Halabi   +2 more
exaly  

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  

Automata Theory and Model Checking

Handbook of Model Checking, 2018
O. Kupferman
semanticscholar   +1 more source

Checking Models

1996
Dilwyn Edwards, Michael Hamson
openaire   +1 more source

Combining Model Learning and Model Checking to Analyze TCP Implementations

International Conference on Computer Aided Verification, 2016
P. Fiterău-Broştean, Ramon Janssen, F. Vaandrager   +2 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  

Model Checking

2019
Flemming Nielson, Hanne Riis Nielson
openaire   +1 more source