Search results 2
Paper図書
National Diet Library
- Subject Heading分散システム 時相論理 演繹的検証 リアルタイム性 詳細化検証 Assume-Guarantee receptive
Digital文書・図像類
Other Libraries in Japan
- Subject Heading...トマトン ハイブリッドモデル Assume-Guarantee receptiveness 仕様記述 open distr...
- Note (General)...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...
Reached to the end of result.