Nakamura Masaki

This page is not maintained now. See my researchmap page for more details.

• Related events:
  • International Conference on Formal Engineering Methods (ICFEM)
  • International Conference on Software Engineering and Knowledge Engineering (SEKE)
  • International Workshop on Software Engineering and Knowledge Management (SEKM 2017) (SEKM 2018) (SEKM 2019)
  • Special Section on Formal Approach (June 2017, IEICE Transactions on Information and Systems): Call for papers
  • 40th TRS Meeting, March 17 (Mon) – 19 (Wed), 2014 Unazuki, Toyama
• Work:
  • researchmap
  • CiNii
  • DBLP
  • Kaken
• Links:
  • Nakamura(Masa) Lab. (in Japanese)
  • Toyama Prefectural University (in Japanese)