Contents of Report
[Data of Report]
Report Number:
TM0380
Date of Registration:
1987.07
English Title:
***
Japanese Title:
情報処理学会 第35回全国大会論文集1;通信システム用仕様設計における追加仕様の検証方式
English Author:
Y.Ueda,K.Shibata,W.Tanaka,H.Hasegawa
Japanese:
上田 佳寛,柴田 健次,田中 亘,長谷川 晴朗
Name of Organization to which author belongs:
Oki,Oki,Oki,Oki
PDF:
tm0380.pdf
[Contents]
1
はじめに
.... 1
2
サービスグラフの統合
.... 1
3
ペトリネットの関数行列
.... 1
4
発火可能ベクトルの定義
.... 1
5
単一のサービスの発見
.... 2
6
統合後のTSGから新サービスが求まる例
.... 2
7
おわりに
.... 2
参考文献
.... 2
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda