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

Frederic Boniol (u. a.)

ISBN 10: 331907511X / ISBN 13: 9783319075112

Published by Springer, 2014

About this Item

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 | Frederic Boniol (u. a.) | Taschenbuch | Communications in Computer and Information Science | xii | Englisch | 2014 | Springer | EAN 9783319075112 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105295172

Bibliographic Details

• Title: 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
• Publisher: Springer
• Publication Date: 2014
• Language: English
• ISBN 10: 331907511X
• ISBN 13: 9783319075112
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 10D millimeters 235 millimeters width by 155 millimeters height by 10 millimeters depth
• Weight: 277 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.