Harald Wiegard

According to our database, Harald Wiegard authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Validation of the ABZ Landing Gear System Using ProB.

Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014