Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-BNo. 10 ;
pp. 1008-1014 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: verification, knowledge base, object-oriented, simulation, switching software,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/08/25 Vol. E75-BNo. 8 ;
pp. 715-722 Type of Manuscript: Special Section PAPER (Special Issue on the 4th Japan-Korea Joint Conference on Communications, Networks, Switching Systems and Satellite Communications (4th JC-CNSS)) Category: Keyword: LOTOS, specification, verification, switching software,