Robotique
Verification of a timed multitask system with UPPAAL
IEEE Transactions on Automation Science and Engineering -
Affichage des publications 621 à 630 sur 834 au total
Robotique
IEEE Transactions on Automation Science and Engineering -
Mécanique
International Journal of Advanced Manufacturing Technology -
Sciences de l'ingénieur
Computer Aided Geometric Design -
Génie mécanique
2nd International Conference on Production and Industrial Engineering -
Robotique
Conference on Control and Fault-Tolerant Systems (SysTol'10) -
Chimie de coordination
European Journal of Medicinal Chemistry -
Automatique
Engineering Applications of Artificial Intelligence -
Robotique
IEEE 2009 International Conference on Systems, Man, and Cybernetics -