Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata

Jüri Vain, Leonidas Tsiopoulos, Jishu Guin. Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. In Hai Wang, Mounir Mokhtari, editors, 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016. pages 126-134, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.