Author name used in this manuscript: Jian-nong CaoRefereed conference paper2011-2012 > Academic research: refereed > Refereed conference paperAccepted ManuscriptPublishe
Medical devices play an essential role in the care of patients around the world, and can have a life...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
Cyber-physical systems (CPS) are systems that are tight integration of computer programs as controll...
Hybrid systems model checking is a great success in guaranteeing the safety of computerized control ...
Hybrid systems model checking is a great success in guaranteeing the safety of computerized control ...
Many Cyber-Physical Systems (CPS) are highly nondeterministic. This often makes it impractical to mo...
On-line model checking is a variant of model checking that evaluates properties of a system concurre...
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadeq...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
Medical devices play an essential role in the care of patients around the world, and can have a life...
This dissertation explores online model checking, a dynamic variant of model checking, that can be u...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
Designing bug-free medical device software is difficult, especially in complex implantable devices t...
Medical device is a typical Cyber-Physical System and ensuring the safety and efficacy of the device...
Cyber-Physical Systems(CPS) are a group of systems that are involved with both physical processes an...
Medical devices play an essential role in the care of patients around the world, and can have a life...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
Cyber-physical systems (CPS) are systems that are tight integration of computer programs as controll...
Hybrid systems model checking is a great success in guaranteeing the safety of computerized control ...
Hybrid systems model checking is a great success in guaranteeing the safety of computerized control ...
Many Cyber-Physical Systems (CPS) are highly nondeterministic. This often makes it impractical to mo...
On-line model checking is a variant of model checking that evaluates properties of a system concurre...
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadeq...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
Medical devices play an essential role in the care of patients around the world, and can have a life...
This dissertation explores online model checking, a dynamic variant of model checking, that can be u...
In modern hospitals, patients are treated using a wide array of medical devices that are increasingl...
Designing bug-free medical device software is difficult, especially in complex implantable devices t...
Medical device is a typical Cyber-Physical System and ensuring the safety and efficacy of the device...
Cyber-Physical Systems(CPS) are a group of systems that are involved with both physical processes an...
Medical devices play an essential role in the care of patients around the world, and can have a life...
The design of bug-free and safe medical device software is challenging, especially in complex implan...
Cyber-physical systems (CPS) are systems that are tight integration of computer programs as controll...
DOI
Add to ORKG