Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings / Manuel Núñez, Matthias Güdemann (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 9128. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham : Springer, 2015Description: 1 online resource (xvi, 213 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319194585
- 3319194585
- 3319194577
- 9783319194578
- FMICS 2015
- Formal methods (Computer science) -- Congresses
- Software engineering -- Congresses
- Computer programs -- Verification -- Congresses
- Computer programs -- Reliability -- Congresses
- Computer software -- Verification -- Congresses
- Computer software -- Reliability -- Congresses
- Méthodes formelles (Informatique) -- Congrès
- Génie logiciel -- Congrès
- Logiciels -- Vérification -- Congrès
- Logiciels -- Fiabilité -- Congrès
- Computer programs -- Reliability
- Computer programs -- Verification
- Computer software -- Reliability
- Computer software -- Verification
- Formal methods (Computer science)
- Software engineering
- 004.01/51 23
- QA76.9.F67 I58 2015eb
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes bibliographical references and author index.
Online resource; title from PDF title page (SpringerLink, viewed May 22, 2015).
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.
Applications.- Protocols -- Specification and analysis -- Verification.