|
|
PDFダウンロードリンク |
講演名 |
2016-01-25 15:45
線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 ○張江洋次朗・和崎克己(信州大) |
PDFダウンロードリンク |
MSS2015-46 SS2015-55 |
著作権について |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
|
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
|