Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Applications.- Protocols.- Specification and analysis.- Verification.

• Format: Paperback
• Language: English
• ISBN: 3319194577
• ISBN13: 9783319194578
• Release Date: May 2015
• Publisher: Springer
• Length: 213 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"