Contents of Report
[Data of Report]
Report Number:
TM0381
Date of Registration:
1987.08
English Title:
***
Japanese Title:
通信システム用設計仕様統合時の論理検証
English Author:
K.Miyake,Y.Ueda,H.Hasegawa
Japanese:
三宅 和裕,上田 佳寛,長谷川 晴朗
Name of Organization to which author belongs:
Oki,Oki,Oki
PDF:
tm0381.pdf
[Contents]
1
はじめに
.... 2
2
仕様の作成過程
.... 2
3
ペトリネットの行列を用いた表現
.... 2
4
作成されたペトリネットの論理検証
.... 2
5
ペトリネットの行列の統合
.... 2
6
新サービスの発見
.... 2
7
おわりに
.... 2
参考文献
.... 2
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda