Keyword : UPPAAL


Hierarchical System Schedulability Analysis Framework Using UPPAAL
So Jin AHN Dae Yon HWANG Miyoung KANG Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/08/01
Vol. E99-D  No. 8 ; pp. 2172-2176
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
hierarchical systemschedulability analysisreal-time systemsformal methodsUPPAAL
 Summary | Full Text:PDF(455.9KB)

Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
Yoshitaka AOKI Saeko MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5 ; pp. 1097-1108
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
model checkingUPPAALEclipse
 Summary | Full Text:PDF(2.6MB)