Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

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
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