Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
1035715
biblio
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
1035715
biblio
Runtime Verification of Traces Under Recording Uncertainty
Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
1035715
biblio
The {Medical Device Dongle}: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity
Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
1035715
biblio
On Effective Testing of Health Care Simulation Software
Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
1035715
biblio
{Cyber-Physical Modeling of Implantable Cardiac Medical Devices}
Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
1035715
biblio
Challenges and Research Directions in Medical Cyber-Physical Systems
Submitted by el_wehby on Wed, 05/23/2018 - 3:57pm
1035715
biblio
Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems
Submitted by el_wehby on Wed, 05/23/2018 - 3:57pm
1035715
biblio
Model-based Closed-loop Testing of Implantable Pacemakers
Submitted by el_wehby on Wed, 05/23/2018 - 3:57pm
1035715
biblio
{Safety-Assured Development of the GPCA Infusion Pump Software}
Submitted by el_wehby on Wed, 05/23/2018 - 3:57pm
1035715
biblio
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Submitted by el_wehby on Wed, 05/23/2018 - 3:57pm
1035715
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »