Formal techniques for safety-critical systems: [electronic resource] :: fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers /: Cyrille Artho, Peter Csaba Ölveczky (eds.).

Artho, Cyrille,; Ölveczky, Peter Csaba,

doi:10.1007/978-3-319-29510-7

Formal techniques for safety-critical systems [electronic resource] : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).

International Workshop of Formal Techniques for Safety-Critical Systems (4th : 2015 : Paris, France); Artho, Cyrille, editor.; Ölveczky, Peter Csaba, editor.

2016

QA76.9.F67

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Formal techniques for safety-critical systems [electronic resource] : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).

Meeting Name

International Workshop of Formal Techniques for Safety-Critical Systems (4th : 2015 : Paris, France)

ISBN

9783319295107 (electronic book)
3319295101 (electronic book)
9783319295091

DOI

https://doi.org/10.1007/978-3-319-29510-7

Published

Cham : Springer, 2016.

Language

English

Description

1 online resource (x, 271 pages) : illustrations.

Item Number

10.1007/978-3-319-29510-7 doi

Call Number

QA76.9.F67

Dewey Decimal Classification

004.01/51

Summary

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. .

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed February 10, 2016).

Added Author

Artho, Cyrille, editor.
Ölveczky, Peter Csaba, editor.

Series

Communications in computer and information science ; 596. 1865-0929

Available in Other Form

Print version: 9783319295091