Evènement pour le groupe Modélisation et Verification


Date 2011-04-07  11:30-12:45
TitreContraintes 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. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurRégis Gascon 
Emailregis.gascon@inria.fr 
UrlINRIA Sophia Antipolis 



Aucun document lié à cet événement.

Retour
Retour à l'index