Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/11/01 Vol. E91-ANo. 11 ;
pp. 3253-3260 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications) Category: Keyword: piecewise affine system, performance analysis, reachability analysis, analytic geometry,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/10/01 Vol. E90-ANo. 10 ;
pp. 2257-2260 Type of Manuscript: Special Section LETTER (Special Section on Nonlinear Theory and its Applications) Category: Systems Theory and Control Keyword: Petri nets, multi-agent, object-orientation, reachability analysis,
A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol Shin'ichi NAGANOYoshiaki KAKUDATohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-ANo. 4 ;
pp. 596-604 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: communication protocol, responsiveness, verification, virtual system state, reachability analysis,