Thesis or Dissertation OSEK/VDXアプリケーションのためのモデル検査技術に関する研究

Zhang, Haitao

2015-09
Description
Supervisor:青木 利晃
情報科学研究科
博士
Full-Text

https://dspace.jaist.ac.jp/dspace/bitstream/10119/12964/1/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/12964/2/paper.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/12964/3/summary.pdf

Number of accesses :  

Other information