Dr. Jean-Marc Roussel

Member

Dr Jean-Marc Roussel Address:

LURPA, ENS Cachan
61 avenue du Président Wilson
94235 CACHAN Cedex
France

e-mail:

jean-marc.roussel(at)lurpa.ens-cachan.fr

www:

http://www.lurpa.ens-cachan.fr

Phone:

+33 (0) 147 402 997

Fax:

+33 (0) 147 402 220

Interest:

Formal verification and/or synthesis of binary systems, Programmable Logic Controller (PLC)