Skip to content
Home/ Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Ger
Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Ger

Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Ger

No customer reviews yet ISBN 9783540797067

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

About the author

Product details

Pub dateMay 19, 2008
ISBN-103540797068
ISBN-139783540797067
LanguageEnglish
Last updated 2026-09-07 16:42
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Category
See all