Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319242545, 9783319242552
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Towards Assurance for Plug & Play Medical Systems

2015 ◽  
pp. 228-242 ◽  
Author(s):  
Andrew L. King ◽  
Lu Feng ◽  
Sam Procter ◽  
Sanjian Chen ◽  
Oleg Sokolsky ◽  
...  
Keyword(s):  
Medical Systems

Model-Based Analysis for Safety Critical Software

2015 ◽  
pp. 111-120 ◽  
Author(s):  
Stefan Gulan ◽  
Jens Harnisch ◽  
Sven Johr ◽  
Roberto Kretschmer ◽  
Stefan Rieger ◽  
...  
Keyword(s):  
Safety Critical ◽  
Model Based ◽  
Model Based Analysis

The Safety Requirements Decomposition Pattern

2015 ◽  
pp. 269-282 ◽  
Author(s):  
Pablo Oliveira Antonino ◽  
Mario Trapp ◽  
Paulo Barbosa ◽  
Edmar C. Gurjão ◽  
Jeferson Rosário
Keyword(s):  
Safety Requirements

scholarly journals Requirement Engineering for Functional Alarm System for Interoperable Medical Devices

2015 ◽  
pp. 252-266 ◽  
Author(s):  
Krishna K. Venkatasubramanian ◽  
Eugene Y. Vasserman ◽  
Vasiliki Sfyrla ◽  
Oleg Sokolsky ◽  
Insup Lee
Keyword(s):  
Medical Devices ◽  
Requirement Engineering ◽  
Alarm System
Load More ...
Sign in / Sign up

Export Citation Format

Share Document