岡田光弘, 慶應義塾大学 [著][岡田光弘]2001-2003<Y151-H13558031>
国立国会図書館
- 件名線形論理 / 形式仕様 / 形式検証 / 実時間システム
岡田, 光弘, 慶應義塾大学2000-2002<Y151-H12480075>
国立国会図書館
岡田光弘, 慶應義塾大学 [著][岡田光弘]2003-2005<Y151-H15300008>
国立国会図書館
- 件名論理的手法 / 線形論理 / 形式仕様 / 形式検証 / 実時間システム / 証明論
青木, 利晃2018-05-15科学研究費助成事業研究成果報告書p.1-5
全国の図書館
- 件名形式手法 形式検証 車載システム 形式仕様 定理証明
- 一般注記本研究では,AUTOSAR OSの先進機能を形式検証する手法を提案した.AUTOS......そこで,これらの機能を実践的に形式検証する手法を提案した.保護機能の形式検証では,AUTOSAR OSの仕......るspinlockプログラムの形式検証に成功した.:We proposed methods to ...
青木, 利晃2012-06-04科学研究費補助金研究成果報告書p.1-5
全国の図書館
- 件名形式手法 形式検証 モデル検査
- 一般注記...3702 研究分野:形式手法,形式検証,ソフトウェア工学,ソフトウェア科学 科研費の分科・細目:情...
平石, 邦彦2012-06-04科学研究費補助金研究成果報告書p.1-4
全国の図書館
- 件名形式検証 形式手法 ハイブリッドシステム 実時間システム 性能評価