Evènement pour le groupe Modélisation et Verification


Date 2009-02-12  11:00-12:15
TitreSpécification et Contrôle des Systèmes temps-réel faibles 
RésuméNous introduisons la Logique $WT_mu$ pour décrire les propriétés des systèmes temps-réel faibles et nous synthétisons les contrôleurs des ces systèmes lorsque les propriétés sont écrites en $WT_mu$.  
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurOmer NGUENA 
Emailnguena@labri.fr 
UrlLaBRI, Bordeaux, France 



Aucun document lié à cet événement.

Retour
Retour à l'index