Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2019/08/01 Vol. E102-DNo. 8pp. 1498-1505 Type of Manuscript: PAPER Category: Software System Keyword: software verification, Java, hash code, equivalence,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/06/01 Vol. E98-DNo. 6pp. 1120-1120 Type of Manuscript: FOREWORD Category: Keyword:
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/05/01 Vol. E94-DNo. 5pp. 958-966 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Model Checking Keyword: QoS, probabilistic automaton, simulation, model checking,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/05/01 Vol. E93-DNo. 5pp. 994-1005 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Model Checking Keyword: model checking, timed automaton, model abstraction, CEGAR,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1623-1633 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: Petri net, marked graph, protocol synthesis, parallel events,