2016年11月14日
Assured and Correct Dynamic Update of Controllers
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
- ,
- ,
- ,
- ,
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表(招待・特別)
- 開催地
- Tokyo, Japan