LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 链接 » 巴黎六大计算机科学实验室日志

séminaire MoveRSS

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
 Mentions légales
网站导航 |