Formal Specification and Analysis of an Agent-Based Medical Image Processing System.

Junhua Ding Xudong He

Published in: Int. J. Softw. Eng. Knowl. Eng. (2010)

Keyphrases

formal specification
medical image processing
machine learning
pattern recognition
image analysis
open source
web services
three dimensional
relational databases
x ray
model checking
object oriented design
specification languages