Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2022/10/01 Vol. E105-DNo. 10pp. 1665-1677 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: formal specification, reactive systems, specification verification, realizability,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2020/02/01 Vol. E103-ANo. 2pp. 451-461 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: model-based development, MATLAB/Simulink, test case generation, Monte-Carlo method, template-based method,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 1995/12/25 Vol. E78-CNo. 12pp. 1726-1732 Type of Manuscript: Special Section PAPER (Special Issue on Low-power Analog, Digital LSIs and ASICs for Multimedia) Category: Keyword: CMOS, interface circuit, high speed, small swing, low voltage,