|
| Saeko MATSUURA
|
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 checking, UPPAAL, Eclipse, | | | Summary | Full Text:PDF | |
|
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 | |
|
|