Download E-books Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings PDF
By Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.)
This booklet constitutes the lawsuits of the fifteenth foreign Workshop on Formal tools for business severe platforms, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the twenty fifth IEEE/ACM foreign convention on automatic software program Engineering, The 14 papers offered have been conscientiously reviewed and chosen from 33 submissions. the purpose of the FMICS workshop sequence is to supply a discussion board for researchers who're attracted to the advance and alertness of formal equipment in undefined. It additionally strives to advertise examine and improvement for the advance of formal equipment and instruments for commercial purposes.