Sign in
MDevSPICE - A Comprehensive Solution for Manufacturers and Assessors of Safety-Critical Medical Device Software.
Paul M. Clarke
Marion Lepmets
Fergal McCaffery
Anita Finnegan
Alec Dorling
Derek Flood
Published in:
SPICE (2014)
Keyphrases
</>
safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
regulatory requirements
adaptive systems
support systems
medical devices
low cost
medical data
real time
software systems
data warehouse
user interface
information systems
formal specification