Validation of the ABZ landing gear system using ProB
Crossref DOI link: https://doi.org/10.1007/s10009-015-0395-9
Published Online: 2015-08-15
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ladenberger, Lukas
Hansen, Dominik
Wiegard, Harald
Bendisposto, Jens
Leuschel, Michael
Text and Data Mining valid from 2015-08-15