Formal methods for industrial critical systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings / Manuel Núñez, Matthias Güdemann (eds.).
International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway); Núñez, Manuel (Professor), editor.; Güdemann, Matthias, editor.
2015
QA76.9.F67 I58 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal methods for industrial critical systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings / Manuel Núñez, Matthias Güdemann (eds.).
Meeting Name International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)
ISBN 9783319194585 electronic book
3319194585 electronic book
9783319194578
DOI https://doi.org/10.1007/978-3-319-19458-5
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xvi, 213 pages) : illustrations.
Item Number 10.1007/978-3-319-19458-5 doi
Call Number QA76.9.F67 I58 2015eb
Dewey Decimal Classification 004.01/51
Summary This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 22, 2015).
Added Author Núñez, Manuel (Professor), editor.
Güdemann, Matthias, editor.
Series Lecture notes in computer science ; 9128.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Applications.- Protocols
Specification and analysis
Verification.

Browse Subjects

Show more subjects...

Statistics

from
to
Export