Publication: IEICE TRANSACTIONS on Communications Publication Date: 2014/01/01 Vol. E97-BNo. 1 ;
pp. 76-86 Type of Manuscript: PAPER Category: Internet Keyword: malware, website, blacklist, monitoring, state transition, analysis,
Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services Tae YONEDATadashi OHTA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/04/25 Vol. E83-DNo. 4 ;
pp. 640-647 Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering) Category: Theory and Methodology Keyword: knowledge elicitation, state transition, specification verification, feature interaction,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1468-1478 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: system requirement, formal specification, state transition, Petri Net, verification, refinement,
