Login / Signup
Tool-supported enhancement of diagnosis in model-driven verification.
Marco Bakera
Tiziana Margaria
Clemens D. Renner
Bernhard Steffen
Published in:
Innov. Syst. Softw. Eng. (2009)
Keyphrases
</>
model driven
data driven
metamodel
service oriented
model driven engineering
model driven development
medical diagnosis
image enhancement
databases
model checking
model based diagnosis
fault diagnosis
data integration
image processing
data warehouse
case study
development environments
real world