国際会議発表 (査読有り)

• 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, Aug. 2012.

国内会議発表 (査読有り)

• 新井貴大, 島川昌也, 萩原茂樹, 米崎直樹. 時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法, ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011, pp. 151-156, Nov. 2011.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]