EAN: 9783642410093

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS ...

This book constitutes the thoroughly refereed conference proceedings of the 18th International
Workshop on Formal Methods for Industrial Critical Systems  FMICS 2013  held in Madrid  Spain 
in September 2013. The 13 papers presented were carefully selected from 25 submissions and
cover topics such as design  specification  code generation and testing based on formal methods
methods  techniques and tools to support automated analysis  certification  debugging  learning
optimization and transformation of complex  distributed  dependable  real-time systems and
embedded systems  verification and validation methods  tools for the development of formal
design descriptions  case studies and experience reports on industrial applications of formal
methods  impact of the adoption of formal methods on the development process and associated
costs  application of formal methods in standardization and industrial forums.

Aktuelle Preise zur EAN 9783642410093

Produktinformationen zur 9783642410093