Contents of Report

[Data of Report]

Report Number:

TM0407

Date of Registration:

1987.11

English Title:

A Logical Method of Verifying Design Specification

Japanese Title:

通信システム用設計仕様の論理検証方式

English Author:

K.Shibata,Y.Ueda,S.Yuyama,W.Tanaka,H.Hasegawa

Japanese:

柴田　健次,上田　佳寛,湯山　さつき,田中　亘,長谷川　晴朗

Name of Organization to which author belongs:

Oki,Oki,Oki,Oki,Oki

PDF:

tm0407.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda