External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards a Method for the Decomposition by Refinement in Event-B

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit. Towards a Method for the Decomposition by Refinement in Event-B. In Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas, editors, Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Volume 12233 of Lecture Notes in Computer Science, pages 358-370, Springer, 2019. [doi]

Authors

Kenza Kraibi

This author has not been identified. Look up 'Kenza Kraibi' in Google

Rahma Ben Ayed

This author has not been identified. Look up 'Rahma Ben Ayed' in Google

Joris Rehm

This author has not been identified. Look up 'Joris Rehm' in Google

Simon Collart Dutilleul

This author has not been identified. Look up 'Simon Collart Dutilleul' in Google

Philippe Bon

This author has not been identified. Look up 'Philippe Bon' in Google

Dorian Petit

This author has not been identified. Look up 'Dorian Petit' in Google
runs on