論文

査読有り
1988年7月

RACCO: 実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語

コンピュータ・ソフトウェア
  • 櫻川 貴司
  • ,
  • 竹中一起
  • ,
  • 中島玲二
  • ,
  • 新出尚行
  • ,
  • 服部隆志

5
3
開始ページ
22
終了ページ
33
記述言語
日本語
掲載種別
研究論文(学術雑誌)

エクスポート
BibTeX RIS