A Formal Pattern Architecture for Safe Medical Systems.

Mu Sun José Meseguer Lui Sha

Published in: WRLA (2010)

Keyphrases

management system
real time
distributed systems
knowledge based systems
reactive systems
search engine
software implementation
autonomic computing
medical decision support
knowledge base
software architecture
computing systems
formal languages
industrial strength