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

• Takahisa Mizuno, Shin-ya Nishizaki. Analyzing Systems Dependent on Execution Speed with Model Checker, International Conference on Advances Science and Contemporary Engineering 2012, Procedia Engineering, Elsevier, Volume 50, pp. 544-554, Nov. 2012.  公式リンク  
  
• Kensuke NARITA, Shin-ya NISHIZAKI, Takahisa MIZUNO. A Simple Abstract Machine for First-class Continuations, International Symposium on Communications and Information Technologies 2010, Proceedings of International Symposium on Communications and Information Technologies 2010, IEEE, pp. 111-114, Oct. 2010.
• Hiroki KUMAMOTO, Takahisa MIZUNO, Kensuke NARITA, Shin-ya NISHIZAKI. Destructive Testing of Software Systems by Model Checking, International Symposium on Communications and Information Technologies 2010, Proceedings of International Symposium on Communications and Information Technologies 2010, IEEE, pp. 261-266, Oct. 2010.

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