Main Research Projects:
Formal Support to the Specification and Reuse of Software
(FERUS) - 2001-2004
Smart: Engineering of Smart Card Applications
Development of the B method and application to the project of industrial ebedded systems - 2007-..
Combining formal methods and testing in the construction of real time embedded systems - 2008-..