Verification of a timed multitask system with UPPAAL

Publié le 31 août 2005 - 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05)

Auteurs : Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Jean-Marc Roussel, Olivier de Smet