Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642032397
• ISBN13: 9783642032394
• Release Date: July 2009
• Publisher: Springer
• Length: 233 Pages
• Weight: 0.80 lbs.
• Dimensions: 0.6" x 6.1" x 9.4"