Jérôme Falampin

According to our database1, Jérôme Falampin authored at least 5 papers between 2003 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Improving Railway Data Validation with ProB.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2011
Automated property verification for large scale B models with ProB.
Formal Aspects Comput., 2011

2009
Automated Property Verification for Large Scale B Models.
Proceedings of the FM 2009: Formal Methods, 2009

2004
Validation des règles de base de l'Atelier B.
Tech. Sci. Informatiques, 2004

2003
B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems.
Tech. Sci. Informatiques, 2003


  Loading...