Intitulé:
Contraintes sur le temps logique dans la conception de systemes embarques du groupe Modélisation et Verification
|
Date | 2011-04-07 11:30-12:45 |
Titre | Contraintes sur le temps logique dans la conception de systemes embarques |
Résumé | Je presenterai un langage de contrainte permettant d'exprimer des contraintes chronologiques et causales
sur les evenements du systeme (horloges logiques) et certains de mes travaux en cours sur ce langage: d'une
part la comparaison de ce langage avec la logique temporelle lineaire et d'autre part l'extension de ce langage
avec un systeme de priorites. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Régis Gascon |
Email | regis.gascon@inria.fr |
Url | INRIA Sophia Antipolis |
Aucun document lié à cet événement.
RetourRetour à l'index