講演・口頭発表等

招待有り 国際会議
2016年11月14日

Assured and Correct Dynamic Update of Controllers

Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
  • Kenji Tei with Leandro Nahabedian
  • ,
  • Victor Braberman
  • ,
  • Nicolas D’Ippolito
  • ,
  • Shinichi Honiden
  • ,
  • Jeff Kramer
  • ,
  • Sebastian Uchitel

記述言語
英語
会議種別
口頭発表(招待・特別)
開催地
Tokyo, Japan

リンク情報
URL
http://research.nii.ac.jp/fmmdd/program.html