D
A
Last name: DÉPLANCHE
First name: Anne-Marie
National audience
Ce rapport presente les travaux realises de janvier 1998 a' juin 1998. Il fait suite au rapport intermediaire a' 6 mois et au rapport final de l'annee 1. Le present rapport est decoupe en deux chapitres et diverses annexes. Le premier chapitre presente les travaux effectues ce semestre et le plan de travail prevu pour le semestre prochain. Le...
Ce document présente les travaux réalisés au cours de la deuxième année du projet COVADIS ainsi que les résultats obtenus. Le langage Ardeco est spécifié formellement. La modélisation et la validation (propriétés logiques) des composants spécifiés en Ardéco est présenté grâce à un traducteur Ardéco- Esterel. Afin de vérifier des propriétés...
Ce rapport presente les travaux realises de janvier 1998 a' juin 1998. Il fait suite au rapport intermediaire a' 6 mois et au rapport final de l'annee 1. Le present rapport est decoupe en deux chapitres et diverses annexes. Le premier chapitre presente les travaux effectues ce semestre et le plan de travail prevu pour le semestre prochain. Le...
Ce document présente les travaux réalisés au cours de la deuxième année du projet COVADIS ainsi que les résultats obtenus. Le langage Ardeco est spécifié formellement. La modélisation et la validation (propriétés logiques) des composants spécifiés en Ardéco est présenté grâce à un traducteur Ardéco- Esterel. Afin de vérifier des propriétés...