# Validation of the ABZ landing gear system using ProB

> Research article (International Journal on Software Tools for Technology Transfer, 2015) · cited 13× · AI/ML

**Wikidata**: [openalex:W1824864729](https://www.wikidata.org/wiki/openalex:W1824864729)  
**Source**: https://4ort.xyz/entity/validation-of-the-abz-landing-gear-system-using-prob