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

• Shin-ya Nishizaki, Takuya Ohata. Real-Time Model Checking for Regulatory Compliance, Second International Conference on Advances in Information Technology and Mobile Communication - AIM 2012, Mobile Communication and Power Engineering, Communications in Computer and Information Science, Springer Berlin Heidelberg, Vol. 296, pp. 70-77, Jan. 2013.  公式リンク  
  
• Ritsuya Ikeda, Takuya Oohata, Shin-ya Nishizaki. Formalization of Broadcast Communication in Process Calculus and Its Model Checking, ICSOFT 2009, Proceedings of the 4th International Conference on Software and Data Technologies, INSTICC Press, Vol. 1, pp. 348-352, July 2009.  公式リンク  
  

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