Modeling and Verifying an Arrival Manager using the formal Event-B Method Academic Article

authors

publication date

January 1, 2024

published in

International Journal on Software Tools for Technology Transfer Journal

Digital Object Identifier (DOI)

https://doi.org/10.1007/s10009-025-00813-1

has global citation frequency

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