Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices.

Atif Mashkoor Miklós Biró Marton Dolgos Peter Timar

Published in: SWQD (2015)

Keyphrases

safety critical
regulatory requirements
fault tolerant
formal methods
embedded systems
safety analysis
support systems
medical devices
agent architecture
adaptive systems
information systems
software engineering
medical images
location aware