Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/05/01 Vol. E94-DNo. 5pp. 989-999 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Software Development Methodology Keyword: Web application, modeling, testing, automata, model checking, Spin,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1656-1662 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: FDT, LTS, similarity, specification reuse, specification support,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1646-1655 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol, protocol synthesis, deadlock, FDT, LOTOS,