ToC

2015

  • Ladenberger, Lukas, Hansen, Dominik, Wiegard, Harald, Bendisposto, Jens, Leuschel, Michael
    Validation of the ABZ landing gear system using ProB.
    In International Journal on Software Tools for Technology Transfer, Springer Berlin Heidelberg, 1-17, 2015.

2014

2009

  • Mireille Samia, Harald Wiegard, Jens Bendisposto, Michael Leuschel
    High-Level versus Low-Level Specifications: Comparing B with Promela and ProB with Spin.
    In Proceedings TFM-B 2009, Attiogbe and Mery, APCB, 2009.