Published
Robotique
Verification of a timed multitask system with UPPAAL
Published on - 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05)
Robotique
Published on - 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05)