Robotique

Verification of a timed multitask system with UPPAAL

Published on - 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05)

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