様相構造記述言語を用いるリアクティブシステム構成法の研究

著者

• 米崎, 直樹

書誌事項

様相構造記述言語を用いるリアクティブシステム構成法の研究

研究代表者 米崎直樹

（科学研究費補助金(一般研究C)研究成果報告書, 平成4年度）

[米崎直樹], 1993.3

タイトル読み

ヨウソウ コウゾウ キジュツ ゲンゴ オ モチイル リアクティブ システム コウセイホウ ノ ケンキュウ

詳細情報

• NII書誌ID(NCID): BA54097633
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [辰口町(石川県)]
• ページ数/冊数: vi, 178p
• 大きさ: 30cm
• 親書誌ID:
  • BN03663735