Publications of Bruno Dutertre

Load the BibTeX file

International Conferences

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), June 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, August 1992.

Research Reports

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

PhD Thesis

1. B. Dutertre. Spécification et preuve de systèmes dynamiques. PhD Thesis Université de Rennes I, IFSIC, December 1992.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:57:50 2012

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