External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Validation of the ABZ Landing Gear System Using ProB

Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel. Validation of the ABZ Landing Gear System Using ProB. In Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe, editors, ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings. Volume 433 of Communications in Computer and Information Science, pages 66-79, Springer, 2014. [doi]

Authors

Dominik Hansen

This author has not been identified. Look up 'Dominik Hansen' in Google

Lukas Ladenberger

This author has not been identified. Look up 'Lukas Ladenberger' in Google

Harald Wiegard

This author has not been identified. Look up 'Harald Wiegard' in Google

Jens Bendisposto

This author has not been identified. Look up 'Jens Bendisposto' in Google

Michael Leuschel

This author has not been identified. It may be one of the following persons: Look up 'Michael Leuschel' in Google
runs on