Lecture Notes in Computer Science - Software Engineering in Health Care
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319631936, 9783319631943
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Demonstrating that Medical Devices Satisfy User Related Safety Requirements

2017 ◽  
pp. 113-128 ◽  
Author(s):  
Michael D. Harrison ◽  
Paolo Masci ◽  
Jose Creissac Campos ◽  
Paul Curzon
Keyword(s):  
Medical Devices ◽  
Safety Requirements

Process Execution and Enactment in Medical Environments

2017 ◽  
pp. 145-161
Author(s):  
Bernard Lambeau ◽  
Christophe Damas ◽  
Axel van Lamsweerde
Keyword(s):  
Process Execution

scholarly journals Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey

2017 ◽  
pp. 64-80 ◽  
Author(s):  
Lian Duan ◽  
Sanjai Rayadurgam ◽  
Mats P. E. Heimdahl ◽  
Anaheed Ayoub ◽  
Oleg Sokolsky ◽  
...  
Keyword(s):  
Assurance Cases

scholarly journals From Requirements to Code: Model Based Development of a Medical Cyber Physical System

2017 ◽  
pp. 96-112
Author(s):  
Anitha Murugesan ◽  
Mats P. E. Heimdahl ◽  
Michael W. Whalen ◽  
Sanjai Rayadurgam ◽  
John Komp ◽  
...  
Keyword(s):  
Physical System ◽  
Cyber Physical System ◽  
Model Based ◽  
Code Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document