Results 91 to 100 of about 172,464 (133)

Model checking in multiple imputation: an overview and case study. [PDF]

Emerg Themes Epidemiol, 2017
Nguyen CD, Carlin JB, Lee KJ.
europepmc   +1 more source

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. [PDF]

BMC Bioinformatics, 2019
Gilbert D, Heiner M, Ghanbar L, Chodak J.   +3 more
europepmc   +1 more source

Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems. [PDF]

Sensors (Basel), 2018
El Hariri M, Faddel S, Mohammed O.
europepmc   +1 more source

Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]

Biomed Res Int, 2017
Zhu W, Feng C, Wu H.
europepmc   +1 more source

Discovering vesicle traffic network constraints by model checking. [PDF]

PLoS One, 2017
Shukla A, Bhattacharyya A, Kuppusamy L, Srivas M, Thattai M.   +4 more
europepmc   +1 more source

A Posterior Predictive Model Checking Method Assuming Posterior Normality for Item Response Theory. [PDF]

Appl Psychol Meas, 2019
Kuhfeld M.
europepmc   +1 more source