Projets

  1. Implémentation d'un générateur de Cas de test de Robustesse (RTCG) à partir d'une spécification formelle d'un protocole de communication
  2. Implémentation d'une API pour récépteur GPS Bluetooth en J2ME (JSR82) et d'une application de démonstration sur téléphone (Sony Ericsson P910i).
  3. Participation à un projet libre de "moyenne" ampleur
  4. Implémentation d'un algorithme de propagation d'information avec fonctionnalité de reprise dans un réseau de téléphones mobiles en J2ME(JSR82) sur téléphone (Sony Ericsson P910i).
  5. Pilotage de la plate-frome Java Card Grid par le framework ProActive


 
© LaBRI, 2006