Saeko MATSUURA


FOREWORD
Saeko MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1016-1016
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(59.5KB)

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)