scholarly journals Model checking in multiple imputation: an overview and case study

2017 ◽  
Vol 14 (1) ◽  
Author(s):  
Cattram D. Nguyen ◽  
John B. Carlin ◽  
Katherine J. Lee
Keyword(s):  
Model Checking ◽  
Multiple Imputation

Verification of Medical Guidelines by Model Checking – A Case Study

2006 ◽  
pp. 219-233 ◽  
Author(s):  
Simon Bäumler ◽  
Michael Balser ◽  
Andriy Dunets ◽  
Wolfgang Reif ◽  
Jonathan Schmitt
Keyword(s):  
Model Checking ◽  
Medical Guidelines

Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system

2022 ◽  
Vol 166 ◽  
pp. 108812
Author(s):  
Vinay Kumar ◽  
Kailash Chandra Mishra ◽  
Pooja Singh ◽  
Aditya Narayan Hati ◽  
Mohan Rao Mamdikar ◽  
...  
Keyword(s):  
Control System ◽  
Model Checking ◽  
Reliability Analysis ◽  
Control Systems ◽  
Safety Critical ◽  
And Control

In Silico Laboratory Experiments using Statistical Model Checking: A new model of the Palytoxin-Induced Pump Channel as Case Study

2020 ◽  
pp. 1-1
Author(s):  
Gabriel Domingo Vilallonga ◽  
Daniel Edgardo Riesco ◽  
Antonio-Carlos Guimaraes Almeida ◽  
Antonio Marcio Rodrigues ◽  
Sergio V. A. Campos
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
In Silico ◽  
Laboratory Experiments ◽  
Statistical Model Checking ◽  
New Model
Sign in / Sign up

Export Citation Format

Share Document