Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1458-1467 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: communication networks and services, protocol verification, Petri net, Prolog, Horn clause,
Specification Description Supporting Method of Telecommunications Networks Management Using Information Model and Process Model Ryutaro MATSUMURAOsamu MIYAGISHI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1994/10/25 Vol. E77-BNo. 10 ;
pp. 1188-1193 Type of Manuscript: PAPER Category: Communication Networks and Service Keyword: network, routing, multicast, broadcast, communication networks and services,