Robotique
Verification of a timed multitask system with UPPAAL
10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05) -
Affichage des publications 761 à 770 sur 834 au total
Robotique
10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05) -
Génie mécanique
International Journal of Advanced Manufacturing Technology -
Mécanique
2004 International Mechanical Engineering Congress and Exposition -
Robotique
International Journal of Production Research -
Mécanique
International Conference on High Speed Machining -
Mechanical engineering
3emes Assises Machines et Usinage Grande Vitesse -
Mécanique
International Journal of Advanced Manufacturing Technology -
Génie mécanique
The 5th International Conference on Integrated Design and Manufacturing in Mechanical Engineering -
Mécanique
CIRP Annals - Manufacturing Technology -
Robotique
A. Dolgui J. Soldek and O. Zaikin (Eds.), Springer -