Sign in

Hierarchical System Schedulability Analysis Framework Using UPPAAL.

So Jin AhnDae-Yon HwangMiyoung KangJin-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