Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

論文・著書情報

タイトル

和文:	Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
英文:	Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

著者

和文:	Kazuya Aizawa, 鄭顕志, Shinichi Honiden.
英文:	Kazuya Aizawa, Kenji Tei, Shinichi Honiden.

言語

English

掲載誌/書名

和文:
英文:

巻, 号, ページ

pp. 1363-1370

出版年月

2019年8月1日

出版者

和文:
英文:

会議名称

和文:
英文:	The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)

開催地

和文:
英文: