Hierarchical System Schedulability Analysis Framework Using UPPAAL.

So Jin Ahn Dae-Yon Hwang Miyoung Kang Jin-Young Choi

Published in: IEICE Trans. Inf. Syst. (2016)

Keyphrases

main contribution
data analysis
database
image processing
data model
medical images
model checking
hierarchical clustering
quantitative analysis
conceptual framework
analysis tool