ERATO MMSD プロジェクトの研究者が共著者となる2報の論文が，ICECCS 2019 – the 24th International Conference on Engineering of Complex Computer Systems に採択されました．
Étienne André, Didier Lime, Mathias Ramparison. On the expressive power of invariants in parametric timed automata. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.87-96, 2019
[doi]
Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, 2019
[doi]
International Conference on Engineering of Complex Computer Systems (ICECCS) はソフトウェア科学・ソフトウェア工学分野の主要国際会議です．ICECCS 2019 は2019年11月に中国南沙市で開催されます．
