Harald Wiegard

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Decision Making

Fault Diagnosis

Information Retrieval Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

ABZ (Case Study)

Publications

Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ landing gear system using ProB. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System Using ProB. ABZ (Case Study) (2014)