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

Author(s)

    • 米崎, 直樹

Bibliographic Information

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

研究代表者 米崎直樹

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

[米崎直樹], 1993.3

Title Transcription

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

Available at  / 1 libraries

Search this Book/Journal

Related Books： 1-1 of 1

Details

  • NCID
    BA54097633
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    engjpn
  • Place of Publication
    [辰口町(石川県)]
  • Pages/Volumes
    vi, 178p
  • Size
    30cm
  • Parent Bibliography ID
Page Top