Louis Mussat

According to our database, Louis Mussat authored at least 4 papers between 1991 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B.

Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

2002

On Using Conditional Definitions in Formal Theories.

Jean-Raymond Abrial, Louis Mussat

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

1998

Introducing Dynamic Constraints in B.

Jean-Raymond Abrial, Louis Mussat

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1991

Parallel Programming with Bags.

Louis Mussat

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991