===== La mission ===== Date d'arrivée : 15 janvier 2014 Date de départ : 18 janvier 2014 Lieu : Tunis, Tunisie Logement : Hôtel Belvédère, Tunis Visiteurs : * Annie Ressouche * Jean-Yves Tigli Programmes de la visite : Liste des vacations : * Cours sur la validation de composants à partir de modèles/langages synchrones (Middleware for Ubiquitous Computing) * Cours sur la validation de composants à partir de modèles/langages synchrones : mise en pratique sous SCADE d'Esterel Technologies (Middleware for Ubiquitous Computing)