Results 311 to 320 of about 21,783,491 (356)
Some of the next articles are maybe not open access.
Model Checking and Preprocessing
2007Temporal Logic Model Checking is a verification method having many industrial applications. This method describes a system as a formal structure called model; some properties, expressed in a temporal logic formula, can be then checked over this model.
ANDREA FERRARA +2 more
openaire +2 more sources
A Survey of Statistical Model Checking
ACM Transactions on Modeling and Computer Simulation, 2018G. Agha, Karl Palmskog
semanticscholar +1 more source
Antibody–drug conjugates: Smart chemotherapy delivery across tumor histologies
Ca-A Cancer Journal for Clinicians, 2022Paolo Tarantino +2 more
exaly
The mu-calculus and Model Checking
Handbook of Model Checking, 2018Julian Bradfield, I. Walukiewicz
semanticscholar +1 more source
Model Checking Probabilistic Systems
Handbook of Model Checking, 2018C. Baier +3 more
semanticscholar +1 more source
Introduction to Model Checking
Handbook of Model Checking, 2018E. Clarke, T. Henzinger, H. Veith
semanticscholar +1 more source
Combining Model Checking and Data-Flow Analysis
Handbook of Model Checking, 2018Dirk Beyer +2 more
semanticscholar +1 more source
An overview of real‐world data sources for oncology and considerations for research
Ca-A Cancer Journal for Clinicians, 2022Donna R Rivera +2 more
exaly