13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
First Statement of Responsibility
Shengchao Qin, Zongyan Qiu (edition)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 670 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
6991
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings.
International Standard Book Number
9783642245589
PARALLEL TITLE PROPER
Parallel Title
ICFEM 2011
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses
Software engineering, Congresses
Formal methods (Computer science)-- Congresses
Software engineering-- Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
I34
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Qin, Shengchao
Qiu, Zongyan
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
IEEE International Conference on Formal Engineering Methods(13th :2011 :, Durham, England)