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

• Masaya Suzuki, Takuo Watanabe. Sandal: A Modeling Language Supporting Exhaustive Fault-Injection, Workshop on Computation: Theory and Practice (WCTP 2014), Theory and Practice of Computation, World Scientific, pp. 1-12, Jan. 2016.
• Masaya Suzuki, Takuo Watanabe. A Language Support for Exhaustive Fault-Injection in Message-Passing System Models, 1st Workshop on Logics and Model-Checking for Self-* Systems (MOD* 2014), Electronic Proceedings in Theoretical Computer Science, Vol. 168, pp. 48-58, Sept. 2014.

国内会議発表 (査読なし・不明)

• 渡部卓雄, 鈴木将哉. Objective-Cによる文脈指向プログラミングの実現手法, 電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), 電子情報通信学会技術研究報告, 電子情報通信学会, Vol. 112, No. 164, pp. 133-138, July 2012.  公式リンク  
  

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