Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/03/01 Vol. E103-DNo. 3pp. 702-705 Type of Manuscript: LETTER Category: Software System Keyword: formal verification, Time Petri Net, SMT Solver, difference logic,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/09/01 Vol. E95-DNo. 9pp. 2193-2201 Type of Manuscript: Special Section PAPER (Special Section on Software Reliability Engineering) Category: Keyword: UML, sequence diagram, refinement, model checking, LTSA,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/06/01 Vol. E88-DNo. 6pp. 1134-1141 Type of Manuscript: Special Section PAPER (Special Section on Software Engineering for Embedded Systems) Category: Keyword: Bayesian Belief Network, causal model, software quality prediction,