Reachability Analysis and Simulation for Hybridised Event-B Models.

Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis

Browse the full IFM paper archive.