Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/20 Vol. E75-BNo. 10pp. 1008-1014 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: verification,
knowledge base,
object-oriented,
simulation,
switching software,