Formal Methods for Industrial Critical Systems - 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Paperback, 2008 ed.)

The FMICS 2007 workshopwas a?liated with the Computer-Aided Veri?cation (CAV) conference and held at the Park-Inn Hotel Alexanderplatz in Berlin, Germany, July 1-2, 2007. 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 intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experience in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2007 were solicited included, but were not restricted to, the following: - Design, speci?cation, code generation and testing with formal methods - Veri?cation and validation of complex, distributed, real-time systems and embedded systems - Veri?cationand validationmethods that aimat circumventing shortcomings of existing methods with respect to their industrial applicability - Tools for the design and development of formal descriptions - Case studies and project reports on formal methods-related projects with industrial participation (e.g., safety critical systems, mobile systems, obje- based distributed systems) - Application of formal methods in standardization and industrial forums Theworkshopincluded?vesessionsofregularcontributionsandthreeinvited presentations, given by Charles Pecheur, Thomas Henzinger and G erard Berry."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 4916
Release date:	May 2008
First published:	2008
Editors:	Stefan Leue • Pedro Merino
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	254
Edition:	2008 ed.
ISBN-13:	978-3-540-79706-7
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General
LSN:	3-540-79706-8
Barcode:	9783540797067

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!