|
Evènement pour le groupe Modélisation et Verification
Date | 2009-02-12 11:00-12:15 |
Titre | Spé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$.
|
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Omer NGUENA |
Email | nguena@labri.fr |
Url | LaBRI, Bordeaux, France |
Aucun document lié à cet événement. RetourRetour à l'index
| |