Formal Methods for Industrial Critical Systems - 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Paperback, 2009 ed.)

This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, whichwas held on November 2-3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), and L'Aquila (September 2008). 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 bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2009 workshop was part of FMweek, the ?rst Formal Methods Week, whicho?eredachoiceofeventsinthearea, includingTESTCOM/FATES, Conferenceon TestingofCommunicatingSystemsandWorkshop on Formal- proaches to Testing of Software;FACS, Formal Aspects of Component Software; PDMC, Parallel and Distributed Methods of veri?Cation; FM2009, Symposium of Formal Methods Europe;CPA, Communicating Process Architectures;FAST, Formal Aspects of Security and Trust;FMCO, Formal Methods for Components and Objects; and the REFINE Workshop. All the information on FMweek can be found at http: //www.win.tue.nl/f

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 5825
Release date:	October 2009
First published:	2010
Editors:	Maria Alpuente • Byron Cook • Christophe Joubert
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	213
Edition:	2009 ed.
ISBN-13:	978-3-642-04569-1
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-642-04569-3
Barcode:	9783642045691

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!