Robotique

Verification of a timed multitask system with UPPAAL

Published on - IEEE Transactions on Automation Science and Engineering

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