Integrating Action Systems and Z in a Medical System Specification.

V. Kasurinen Kaisa Sere

Published in: FME (1996)

Keyphrases

high level
learning systems
medical domain
search engine
information systems
data model
medical images
distributed systems
building blocks
medical imaging
emergency services