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.

Modelling Hybrid Programs with Event-B

Meryem Afendi, Régine Laleau, Amel Mammar. Modelling Hybrid Programs with Event-B. In Alexander Raschke, Dominique Méry, Frank Houdek, editors, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Volume 12071 of Lecture Notes in Computer Science, pages 139-154, Springer, 2020. [doi]

Authors

Meryem Afendi

This author has not been identified. Look up 'Meryem Afendi' in Google

Régine Laleau

This author has not been identified. Look up 'Régine Laleau' in Google

Amel Mammar

This author has not been identified. Look up 'Amel Mammar' in Google
runs on