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 - Communications in Computer and Information Science

ABZ (Conference), Frederic Boniol (editor), Virginie Wiels (editor), Yamine Aït-Ameur (editor), Klaus-Dieter Schewe (editor)

2014

Paperback (26 May 2014)

$70.60

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's 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.

Book information

ISBN:	9783319075112
Publisher:	Springer International Publishing
Imprint:	Springer
Pub date:	26 May 2014
Edition:	2014
DEWEY:	511.35
DEWEY edition:	23
Language:	English
Number of pages:	161
Weight:	2759g
Height:	235mm
Width:	155mm
Spine width:	10mm