|
|
PDFダウンロードリンク |
講演名 |
2011-11-18 10:30
上流設計からモデル検査プロセスまでの一貫設計検証環境 ~ UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 ~ ○宮本直樹・和崎克己(信州大) |
PDFダウンロードリンク |
SWIM2011-19 |
著作権について |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
|
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
|