Validation of the ABZ landing gear system using ProB
Ladenberger, Lukas, Hansen, Dominik, Wiegard, Harald, Bendisposto, Jens, Leuschel, MichaelVolume:
19
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-015-0395-9
Date:
April, 2017
File:
PDF, 1.52 MB
english, 2017