Modeling a landing gear system in Event-B Academic Article

authors

publication date

August 21, 2015

published in

International Journal on Software Tools for Technology Transfer Journal

Digital Object Identifier (DOI)

https://doi.org/10.1007/s10009-015-0391-0

has global citation frequency

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

start page

167

end page

186

volume

19

issue

2