Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem. Design and timed verification of self-adaptive systems. In Kuniaki Uehara, Masahide Nakamura, editors, 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017. pages 227-232, IEEE Computer Society, 2017. [doi]
Abstract is missing.