谷口健一, 大阪大学 [著][谷口健一]2001-2004<Y151-H13558028>
国立国会図書館
- 件名整数変数つきFSM / プレスブルガー文 / 時相論理式 / 自動検証 / 時間オートマトン群 / 実時間システム
谷口健一, 大阪大学 [著][谷口健一]2001-2004<Y151-H13680414>
国立国会図書館
- 件名時間オートマトン / Quality of Services / 線形計画法...
谷口, 健一, 大阪大学1999-2000<Y151-H11680358>
国立国会図書館
- 件名拡張有限状態機械 時間オートマトン 記号モデル検査 プレスブルガー文 out-of-order...
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2002-03平成13(2001)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-
全国の図書館
- 件名開放型分散システム 段階的詳細化 詳細化検証 時間オートマトン ハイブリッドモデル Assume-Guarantee re...
- 一般注記...テムの仕様記述言語として開放型時間オートマトンを形式化して、Assume-guarantee方式による時間...