Image of Formal Techniques for Safety-Critical Systems
Bookmark Share

Text

Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Availability

No copy data

Detail Information
Series Title
Communications in Computer and Information Science
Call Number
-
Publisher
Cham : Springer.,
Collation
X, 257 pages
Language
English
ISBN/ISSN
978-3-319-17581-2
Classification
NONE
Content Type
text
Media Type
computer
Carrier Type
-
Edition
-
Subject(s)
Logics and Meanings of Programs
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Jemadi
Source
-
Validator
-
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