Laurent Philippe

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Akram Idani, Jean-Louis Boulanger, Laurent Philippe
Linking Paradigms in Safety Critical Systems. Int. J. Comput. Their Appl. 16 (2) (2009)
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. CAINE (2007)