Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Paperback, 1st ed. 2016)

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Communications in Computer and Information Science, 596
Release date:	February 2016
First published:	2016
Editors:	Cyrille Artho • Peter Csaba OElveczky
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	271
Edition:	1st ed. 2016
ISBN-13:	978-3-319-29509-1
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Computer software packages > Computer graphics software > General
LSN:	3-319-29509-8
Barcode:	9783319295091

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!