Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

Publications Méthode B et Méthodes Formelles

SOMMAIRE

Publications des Collaborateurs de ClearSy - Louis MUSSAT

2008

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