Contents of Report
[Data of Report]
Report Number:
TM0479
Date of Registration:
1988.03
English Title:
***
Japanese Title:
時間論理ベースの形式的仕様記述言語PTS
English Author:
H.Kawata,N.Uchihira,K.Matsumoto,S.Honiden
Japanese:
川田 秀司,内平 直志,松本 一教,本位田 真一
Name of Organization to which author belongs:
Toshiba,Toshiba,Toshiba,Toshiba
PDF:
tm0479.pdf
[Contents]
あらまし
.... 2
1
はじめに
.... 2
2
PTI
.... 2
3
MPTL
.... 2
4
KPTS
.... 3
5
PTS
.... 3
6
PTSからの手順の自動生成
.... 4
7
ＰＴＳを用いた例題
.... 4
8
おわりに
.... 5
謝辞
.... 5
参考文献
.... 5
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda