検索結果 2 件
紙図書
国立国会図書館
- 件名分散システム 時相論理 演繹的検証 リアルタイム性 詳細化検証 Assume-Guarantee receptive
デジタル規格・テクニカルリポート類
全国の図書館
- 件名...トマトン ハイブリッドモデル Assume-Guarantee receptiveness 仕様記述 open distr...
- 一般注記...1)実時間型開放分散システムのAssume-guarantee方式による自動的設計支援:開放......時間オートマトンを形式化して、Assume-guarantee方式による時間模倣関係の自動検......3)実時間型開放分散システムのAssume-guarantee方式による演繹的設計支援:開放......ク遷移モジュールを形式化して、Assume-guarantee方式による演繹的な詳細化検証の......ceptiveness by Assume-guarantee styles. Using ......ted systems by Assume-guarantee methods : We h......ion methods by Assume-guarantee methods. Using this method, w...