Publications Méthode B et Méthodes Formelles

SOMMAIRE

Publications de Clearsy
Comités de Programmes
Publications des Collaborateurs de ClearSy

Publications des Collaborateurs de ClearSy - Louis MUSSAT

2002

• J.-R. Abrial and L. Mussat
  "On Using Conditional Definitions in Formal Theories"
  in ZB 2002: Formal Specification and Development in Z and B,
  Proceedings, vol. 2272 of Lecture Notes in Computer Science, pp. 242-269, Springer
  Accéder à l'article
•  1998
• J.-R. Abrial and L. Mussat
  "Introducing Dynamic Constraints in B,"
  in B'98: Recent Advances in the Development and Use of the B Method,
  Proceedings, vol. 1393 of Lecture Notes in Computer Science, pp. 83-128, Springer
  Accéder à l'article
•  1996
• J.-R. Abrial and L. Mussat
  "Specification and Design of a Transmission Protocol by Successive Refinements Using B",
  in Mathematical Methods in Program Development,
  Proceedings, vol. 158 of NATO Advanced Science Institutes Series F: Computer and Systems Sciences, pp. 129-200, Springer
•  1991
• L. Mussat
  "Parallel Programming with Bags"
  in Research Directions in High-Level Parallel Programming Languages,
  Proceedings, vol. 574 of Lecture Notes in Computer Science, pp. 203-218, Springer
  Accéder à l'article