Design and Verification of a Trustable Medical System.

Xijiao Xiong Jing Liu Zuohua Ding

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

optimal design
information retrieval
computer aided
case study
data sets
design decisions
knowledge based systems
image registration
software engineering
evolutionary algorithm
model checking
website
conceptual model
databases
database
face verification
formal methods
functional verification