Login / Signup

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

Jüri VainLeonidas TsiopoulosJishu Guin
Published in: ICECCS (2016)
Keyphrases