Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Workshop on Formal Methods for Industrial Critical Systems (14th : 2009 : Eindhoven, Netherlands)
Imprint:	Berlin ; New York : Springer, 2009.
Description:	1 online resource (x, 212 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 5825 LNCS sublibrary, SL 2 Programming and software engineering Lecture notes in computer science ; 5825. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Computer programs -- Verification -- Congresses. Computer programs -- Verification. Formal methods (Computer science) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11073438

Hidden Bibliographic Details
Varying Form of Title:	FMICS 2009
Other authors / contributors:	Alpuente, María. Cook, Byron. Joubert, Christophe.
ISBN:	9783642045707 3642045707 9783642045691 3642045693
Notes:	Includes bibliographical references and index. Print version record.
Summary:	This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also containswith 4 invited papers and 6 posters. 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. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Other form:	Print version: International Workshop on Formal Methods for Industrial Critical Systems (14th : 2009 : Eindhoven, The Netherlands). Formal methods for industrial critical systems. Berlin ; London : Springer, 2009 9783642045691

Similar Items