検索結果 1 件
デジタル文書・図像類
全国の図書館
- 件名開放型分散システム 段階的詳細化 詳細化検証 時間オートマトン ハイブリッドモ...
- 一般注記...ee方式による自動的設計支援:開放型分散システムの仕様記述言語として開放型時間......分散システムの演繹的設計支援:開放型分散システムの仕様記述言語として時間ステー......ee方式による演繹的設計支援:開放型分散システムの仕様記述言語としてクロック遷......く開放分散システムの設計支援:開放型分散システムの仕様記述言語としてフェーズ遷移モジュールを形式化して、演繹...
検索結果は以上です。