Louis Mussat

Publication Activity (10 Years)

Years Active: 1991-2017
Publications (10 Years): 1

Top Topics

Safety Analysis

Partial Observability

Nuclear Power Plant

Top Venues

Publications

Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. RSSRail (2017)
Jean-Raymond Abrial, Louis Mussat
On Using Conditional Definitions in Formal Theories. ZB (2002)
Jean-Raymond Abrial, Louis Mussat
Introducing Dynamic Constraints in B. B (1998)
Louis Mussat
Parallel Programming with Bags. Research Directions in High-Level Parallel Programming Languages (1991)