Results 171 to 180 of about 25,570,341 (217)
Some of the next articles are maybe not open access.
Introduction to Model Checking
Handbook of Model Checking, 2018E. Clarke, T. Henzinger, H. Veith
semanticscholar +1 more source
Combining Model Checking and Runtime Verification for Safe Robotics
Runtime Verification, 2017Ankush Desai, T. Dreossi, S. Seshia
semanticscholar +1 more source
Combining Model Checking and Data-Flow Analysis
Handbook of Model Checking, 2018Dirk Beyer +2 more
semanticscholar +1 more source
Machine learning methods to model multicellular complexity and tissue specificity
Nature Reviews Materials, 2021Aaron K Wong, Olga G Troyanskaya
exaly
Interpolation and Model Checking
Handbook of Model Checking, 2018K. McMillan
semanticscholar +1 more source
Probabilistic model checking: advances and applications
, 2018M. Kwiatkowska, G. Norman, D. Parker
semanticscholar +1 more source
Combining Model Checking and Testing
Handbook of Model Checking, 2018Patrice Godefroid, Koushik Sen
semanticscholar +1 more source