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.).

Núñez, Manuel; Güdemann, Matthias,

doi:10.1007/978-3-319-19458-5

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

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

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.