"Shigeki Hagihara,Takahiro Arai,Masaya Shimakawa,Naoki Yonezaki","Developing Embedded Systems from Formal Specifications Written in Temporal Logic","the Third International Conference on Trends in Information, Telecommunication and Computing (ITC2012)","Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering","Springer","Vol. 150",,"pp. 107-113",2012,Aug.
"新井貴大,島川昌也,萩原茂樹,米崎直樹","時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法",,"ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011",,,,"pp. 151-156",2011,Nov.