Skip to product information
Communications in Computer and Information Science
  • Communications in Computer and Information Science
Communications in Computer and Information Science: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Communications in Computer and Information Science: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

$49.49 $54.99

Reliable shipping

Flexible returns

Communications in Computer and Information Science: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Artho, Cyrille; Ölveczky, Peter Csaba

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.


The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Details

Published by: Springer

Publication Date: 2017-02-16

Format: Paperback

ISBN-13: 9783319539454

DOI: 10.1007/978-3-319-53946-1

Dimensions: 235cm x155cm

Pages: 161

You may also like