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

Jri Vain, Leonidas Tsiopoulos, Jishu Guin

Browse the full ICECCS paper archive.