Publications de Bruno Dutertre

Load the BibTeX file

Thèses de doctorat

1. B. Dutertre. Spécification et preuve de systèmes dynamiques. Thèse de l'Université de Rennes I, IFSIC, Décembre 1992.

Conférences internationales

1. B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic. Discrete Event Systems and Synchronous Languages: an example. In Proc of the IFAC 1993 World Congress, 1993.
2. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical Systems over Galois Fields. In Proc. of the Second European Control Conference (ECC93), Juin 1993.
3. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical systems over Galois fields and DEDS Control Problems. In Proc. of the 30th IEEE conference on Decision and Control, Pages 1505-1510, 1992.
4. B. Dutertre, M. Le Borgne, P. Le Guernic. The Cat and Mouse in the synchronous paradigm. In Joint Worshop on Discrete Event Systems (WODES'92), Pages 117-120, Août 1992.

Rapports de recherche

1. B. Dutertre, M. Le Borgne. Control of Polynomial Dynamic Systems: an Example. Rapport de recherche Inria, No 2193, Janvier 1994.
2. B. Dutertre, P. Le Guernic. Description et simulation d'un système de passage niveau en SIGNAL. Rapport de recherche Inria, No 1437, Mai 1991.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:57:53 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.