Search results 4
Paper図書
National Diet Library
- Subject Heading整数変数つきFSM / プレスブルガー文 / 時相論理式 / 自動検証 / 時間オートマトン群 / 実時間システム
Paper図書
National Diet Library
- Subject Heading時間オートマトン / Quality of Services / 線形計画法...
Paper図書
National Diet Library
- Subject Heading拡張有限状態機械 時間オートマトン 記号モデル検査 プレスブルガー文 out-of-order...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading開放型分散システム 段階的詳細化 詳細化検証 時間オートマトン ハイブリッドモデル Assume-Guarantee re...
- Note (General)...テムの仕様記述言語として開放型時間オートマトンを形式化して、Assume-guarantee方式による時間...
Reached to the end of result.