By Topic

Verification of a Timed Multitask System With Uppaal

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
5 Author(s)
Bel Mokadem, H. ; Lab. Specification et Verification, Ecole Normale Super. de Cachan (ENS Cachan), Cachan, France ; Berard, B. ; Gourcuff, V. ; De Smet, O.
more authors