séminaire Move
Contraintes sur le temps logique dans la conception de systèmes embarqués.
2011-3-15报告人 : Régis Gascon (INRIA Sophia-Antipolis)
Je présenterai un langage de contrainte permettant d'exprimer des contraintes chronologiques et causales sur les évènements du système (horloges logiques) et certains de mes travaux en cours sur ce langage: d'une part la comparaison de ce langage avec la logique temporelle linéaire et d'autre part l'extension de ce langage avec un systeme de priorités.
Beatrice.Berard (at) nulllip6.fr