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

authors

publication date

January 1, 2023

published in

Digital Object Identifier (DOI)

https://doi.org/10.5220/0012080900003538

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W4384077791 Global Citation Count

start page

71

end page

83