Published Robotique Verification of a timed multitask system with UPPAAL Published on 8 October 2010 - IEEE Transactions on Automation Science and Engineering Authors: Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Olivier de Smet, Jean-Marc Roussel See the publication on HAL DOI Prev. Back to the list Next