Power Search
Low Price Guarantee
We Take School POs
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 2014 Edition
Contributor(s): Boniol, Frederic (Editor), Wiels, Virginie (Editor), Ait Ameur, Yamine (Editor)

View larger image

 ISBN: 331907511X     ISBN-13: 9783319075112
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback
Published: May 2014
Qty:

Click for more in this series: Communications in Computer and Information Science
Additional Information
BISAC Categories:
- Computers | Programming - General
- Mathematics | Logic
- Computers | Machine Theory
Dewey: 003.3
Series: Communications in Computer and Information Science
Physical Information: 0.38" H x 6.14" W x 9.21" L (0.56 lbs) 161 pages
 
Descriptions, Reviews, Etc.
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.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!