検索結果 3 件
デジタル博士論文障害者向け資料あり
国立国会図書館
- 件名formal specification design formal verification simulation relation OSEK/VDX OS
デジタル文書・図像類
全国の図書館
- 件名Specification Design Simulation Relation Model Checking
- 一般注記...based on their simulation relation. Specifically,......n based on the simulation relation of their LTS. In this paper, ...
デジタル博士論文
インターネットで読める全国の図書館
- 件名formal specification design formal verification simulation relation OSEK/VDX OS
検索結果は以上です。