Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky
Contributor(s): SpringerLink (Online service)
| Artho, Cyrille, editor literario | Ölveczky, Peter Csaba., editor literario
Material type: 
E-bookSeries: Communications in Computer and Information Science; 596596Publisher: Cham : Springer International Publishing, 2016Edition: 1st ed.Description: 1 recurso en línea (X, 271 p.) : 86 ilustraciones en color.ISBN: 9783319295107.Subject: Ingeniería del software | Lenguajes de programación | InformáticaDDC classification: 005.1015113 Online resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
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. .
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA76.9.F67 F676 2016 EB (Browse shelf(Opens below)) | .i1159195x | Acceso electrónico | eBOOK .i1159195x |
Total holds: 0
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. .
There are no comments on this title.
Log in to your account to post a comment.