Ecole d'ingénieur et centre de recherche en télécommunications
Seminar: TURTLE: un environnement UML de conception et de validation des protocoles et des systèmes temps-réel.
Ludovic Apvrille - Ludovic.apvrille@enst.fr - Assistant Professeur, ENST à Institut Eurecom - Sophia-Antipolis
Communications Mobiles
Date: 8 avril 2004
Lieu: Eurecom - Institut Eurecom
Les solutions UML disponibles sur la marché partagent les mêmes limitations, à savoir une absence de sémantique formelle, des opérateurs temporels à l’expression réduite, et enfin une validation qui se limite à de la simulation sur une conception de bas n
Permalink: http://www.eurecom.fr/seminar/21
TURTLE: un environnement UML de conception et de validation des protocoles et des systèmes temps-réel.
