Image of Formal Methods for Industrial Critical Systems
Bookmark Share

Text

Formal Methods for Industrial Critical Systems

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.

Availability

No copy data

Detail Information
Series Title
Lecture Notes in Computer Science
Call Number
-
Publisher
Cham : Springer.,
Collation
XVI, 213 hlm.
Language
English
ISBN/ISSN
9783319194585
Classification
NONE
Content Type
-
Media Type
-
Carrier Type
online resource
Edition
-
Subject(s)
Programming Languages
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Jemadi
Source
https://link.springer.com/content/pdf/10.1007/978-3-319-19458-5.pdf?pdf=button
Validator
Jemadi
Digital Object Identifier (DOI)
-
Journal Volume
-
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment