|
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Marie-Agnès PERALDI-FRATI Equipe projet KAIROS Logical Time for Formal Embedded System Design Email: map@unice.fr Téléphone: +33 (0) 4.97.15.53.94 Fax: +33 (0) 4 92 94 28 98 |
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis - UCA - CNRS Equipe projet I3S-INRIA AOSTE 2004 route des Lucioles, BP 93 06902 Sophia-Antipolis cedex Tél. +33 4 92 94 27 01 - Fax : +33 4 92 94 28 98 - www.i3s.unice.fr |
|||||||||||||||||||||||||