Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
FTSCS (Workshop) (5th : 2016 : Tokyo, Japan); Artho, Cyrille, editor.; Ölveczky, Peter Csaba, editor.
2017
QA76.9.F67
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
Meeting Name FTSCS (Workshop) (5th : 2016 : Tokyo, Japan)
ISBN 9783319539461 (electronic book)
3319539469 (electronic book)
9783319539454
3319539450
DOI https://doi.org/10.1007/978-3-319-53946-1
Published Cham, Switzerland : Springer, 2017.
Language English
Description 1 online resource (xii, 161 pages) : illustrations.
Item Number 10.1007/978-3-319-53946-1 doi
Call Number QA76.9.F67
Dewey Decimal Classification 004.01/51
Summary 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.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed February 27, 2017).
Added Author Artho, Cyrille, editor.
Ölveczky, Peter Csaba, editor.
Series Communications in computer and information science ; 694.
Available in Other Form Print version: 9783319539454
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Specification and verification
Automotive and railway systems
Circuits and cyber-physical systems
Parametrized verification.

Browse Subjects

Show more subjects...

Statistics

from
to
Export