Jérôme Falampin

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
Automated property verification for large scale B models with ProB. Formal Aspects Comput. 23 (6) (2011)
Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge
Automated Property Verification for Large Scale B Models. FM (2009)
Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin
Validation des règles de base de l'Atelier B. Tech. Sci. Informatiques 23 (7) (2004)
Daniel Dollé, Didier Essamé, Jérôme Falampin
B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. Tech. Sci. Informatiques 22 (1) (2003)