From TiMo to Event-B: Event-Driven Timed Mobility.

Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu

Browse the full ICECCS paper archive.