Institut Polytechnique de Bordeaux Bordeaux Institute of Technology

Sylvain Lombardy

LaBRI ENSEIRB-MATMECA
351, cours de la Libération
33405 Talence Cedex
FRANCE
1 avenue du Dr Albert Schweitzer
B.P. 99
33405 Talence Cedex
FRANCE
Équipe Méthodes formelles
Bureau 254
Téléphone : 05 40 00 69 20
Courriel : Sylvain.Lombardylabri.fr
Research team : Formal Methods
Office : 254
Phone : (33) 5 40 00 69 20
Mail : Sylvain.Lombardylabri.fr
Département informatique
Bureau P233
Téléphone : 05 56 84 44 26
Courriel : Sylvain.Lombardyenseirb-matmeca.fr
Computer science department
Office : P233
Phone : (33) 5 56 84 44 26
Mail : Sylvain.Lombardyenseirb-matmeca.fr



  • VauCanSon-G :
    Un ensemble de macros pour dessiner des automates en LaTeX.



  • Awali :
    Une plateforme pour manipuler des automates.
  • VauCanSon-G :
    Package of macros for drawing automata with LaTeX.



  • Awali :
    A finite state machine manipulation platform.