Search results 10
Paper図書
National Diet Library
- Subject Heading線形論理 定時間システム 形式仕様 形式検証
Paper図書
National Diet Library
- Subject Heading線形論理 / 形式仕様 / 形式検証 / 実時間システム
Paper図書
National Diet Library
- Subject Heading論理的手法 / 線形論理 / 形式仕様 / 形式検証 / 実時間システム / 証明論
Paper図書
National Diet Library
- Subject Heading形式仕様記述 ドメインモデル構築 形式手法 図式表現 図式分析ツール 形式仕様の検査 システム記述事例研究 段階的詳細化設計
Paper図書
National Diet Library
- Subject Heading形式仕様記述 / 契約による設計 / アスペクト指向 / モデル駆動...
Paper図書
National Diet Library
- Subject Headingシステムモデル構築 / 形式仕様記述 / 組込みソフトウェア / 多面的記述と分析 / 事例...
Paper図書
National Diet Library
- Subject Headingソフトウェアテスト / 形式仕様 / 仕様に基づくテスト / ソフトウェアレビュー / 仕様...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading形式手法 形式検証 車載システム 形式仕様 定理証明
- Note (General)...SAR OSの仕様書に基づいて形式仕様を作成し,定理証明による検証過程において,仕様の矛盾を発見す...
Paper図書
National Diet Library
- Subject Headingセキユリテイプロトコル 形式仕様記述 検証 並行動作システム 振舞い記述 なりすまし Sec...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading形式手法 モデル検査 形式仕様記述 テスト 車載ソフトウェア
Reached to the end of result.