時相論理によるリアクティブシステム仕様の実現可能性に関する分類

  • 森 亮靖
    東京工業大学情報理工学研究科計算学専攻
  • 友石 正彦
    東京工業大学情報理工学研究科計算学専攻
  • 米崎 直樹
    東京工業大学情報理工学研究科計算学専攻

書誌事項

タイトル別名
  • Classfication of Reactive System Specifications in Temporal Logic
  • ジソウ ロンリ ニヨル リアクティブ システム シヨウ ノ ジツゲン カノウセ

この論文をさがす

抄録

<p></p>

収録刊行物

被引用文献 (5)*注記

もっと見る

参考文献 (12)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ