Verification of a timed multitask system with UPPAAL

Publié le 8 octobre 2010 - IEEE Transactions on Automation Science and Engineering

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