著書

公開件数: 2 件
No. タイトル 著者 担当範囲 出版社 出版日 ISBN URL 概要
1 "I/O オートマトン" 「日本応用数理学会 監修/薩摩順吉・大石進一・杉原正顕(編), 応用数理ハンドブック」第16-6章
米山 一樹


2013/11



2 "タスク構造確率I/O オートマトンを用いた安全性証明"「萩谷昌己・塚田恭章(編), 数理的技法による情報セキュリティ(シリーズ応用数理)」第5章
米山 一樹, 太田 和夫


2010/07