Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, Germany)
Imprint:	Berlin ; New York : Springer, ©2008.
Description:	1 online resource (x, 250 pages) : illustrations.
Language:	English
Series:	LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science, 0302-9743 ; 4916 LNCS sublibrary. SL 2, Programming and software engineering. Lecture notes in computer science ; 4916.
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/11069492

Hidden Bibliographic Details
Varying Form of Title:	International Workshop on Formal Methods for Industrial Critical Systems FMICS 2007
Other authors / contributors:	Leue, Stefan. Merino, Pedro.
ISBN:	9783540797074 3540797076 9783540797067 3540797068
Notes:	Includes bibliographical references and author index. Print version record.
Summary:	This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.
Other form:	Print version: International Workshop on Formal Methods for Industrial Critical Systems (12th : 2007 : Berlin, Germany). Formal methods for industrial critical systems. Berlin ; New York : Springer, ©2008 9783540797067 3540797068

Similar Items