2019年8月
Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)
- ,
- ,
- 開始ページ
- 1363
- 終了ページ
- 1370
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
to appear