Description: ABZ 2014: The Landing Gear Case Study by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Table of Contents Formal techniques: B, ASM, Fiacre.- Kinds of verification.- Proof.- Model checking.- Test generation.- Run-time monitoring.- Simulation. Details ISBN331907511X Year 2014 ISBN-10 331907511X ISBN-13 9783319075112 Format Paperback Short Title ABZ 2014 THE LANDING GEAR CASE Language English Media Book Series Number 433 Imprint Springer International Publishing AG Place of Publication Cham Country of Publication Switzerland Edited by Klaus-Dieter Schewe Edition 2014th Subtitle 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 Illustrations 47 Illustrations, black and white; XII, 161 p. 47 illus. Pages 161 DOI 10.1007/978-3-319-07512-9 Author Klaus-Dieter Schewe Publisher Springer International Publishing AG Edition Description 2014 ed. Series Communications in Computer and Information Science Publication Date 2014-05-26 DEWEY 511.35 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96267387;
Price: 118.26 AUD
Location: Melbourne
End Time: 2025-01-15T13:55:32.000Z
Shipping Cost: 36.67 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783319075112
Book Title: ABZ 2014: The Landing Gear Case Study
Number of Pages: 161 Pages
Language: English
Publication Name: 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 International Publishing Ag
Publication Year: 2014
Subject: Computer Science
Item Height: 235 mm
Item Weight: 2759 g
Type: Textbook
Author: Klaus-Dieter Schewe, Frederic Boniol, Yamine Ait Ameur, Virginie Wiels
Item Width: 155 mm
Format: Paperback
