Description: Formal Techniques for Safety-Critical Systems Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Author(s): Cyrille Artho, Peter Csaba OElveczky Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319539454, 978-3319539454 Synopsis 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.
Price: 38.2 GBP
Location: Aldershot
End Time: 2024-11-15T08:57:30.000Z
Shipping Cost: 28.67 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Formal Techniques for Safety-Critical Systems
Item Height: 235 mm
Item Width: 155 mm
Series: Communications in Computer and Information Science
Author: Peter Csaba Oelveczky, Cyrille Artho
Publication Name: Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Format: Paperback
Language: English
Publisher: Springer International Publishing A&G
Subject: Computer Science
Publication Year: 2017
Type: Textbook
Item Weight: 2759 g
Number of Pages: 161 Pages
