2016年10月 線形時相論理による組込みシステムの仕様記述とペトリネットによる実装法 電気学会研究会情報システム研究会 岡田卓也, 猪股俊光, 杉野英二, 今井信太郎, 新井義和 巻 IS-16 号 32 開始ページ 29 終了ページ 34 記述言語 日本語 掲載種別 研究論文(研究会,シンポジウム資料等) エクスポート BibTeX RIS