Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL.

Jidong Lv Tao Tang

Published in: CSIE (2) (2009)

Keyphrases

data analysis
medical images
levels of abstraction
formal analysis
real world
information retrieval
information systems
e learning
artificial neural networks
statistical analysis