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.

A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH

Meryem Afendi, Amel Mammar, Régine Laleau. A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. In Hans-Georg Fill, Francisco José Domínguez-Mayo, Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023. pages 71-83, SCITEPRESS, 2023. [doi]

Authors

Meryem Afendi

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

Amel Mammar

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

Régine Laleau

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