Contrôle

  Participants : Bernard Espiau, Muriel Jourdan, Sofiane Abdou Mots clefs : robotique, robotique mobile,temps réel

• Intégration de méthode de vérification formelle de propriétés quantitatives temporelles au sein d'ORCCAD
• Applications au projet PRAXITèLE