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, |