ABZ 2014: The Landing Gear Case Study

ABZ 2014: The Landing Gear Case Study

4.11 - 1251 ratings - Source



This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June ... Technician Handbook a€” Airframe (2012), http://www.faa.gov/regulationspolicies/ handbooksmanuals/ aircraft/amtairframe handbook/ Landing Gear System: An ASM-Based Solution for the ABZ Case The Landing Gear Case Study in Hybrid Event-B 141 References.


Title:ABZ 2014: The Landing Gear Case Study
Author: Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Publisher:Springer - 2014-05-12
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA