Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings

By Marco Roveri Stefan Kowalewski, Stefan Kowalewski, Marco Roveri

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642158978
• ISBN13: 9783642158971
• Release Date: September 2010
• Publisher: Springer
• Length: 231 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"