Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
2019
QA76.9.F67
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
Meeting Name
ISBN
9783030129880 (electronic book)
3030129888 (electronic book)
9783030129873
3030129888 (electronic book)
9783030129873
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (xii, 179 pages) : illustrations.
Item Number
10.1007/978-3-030-12988-0 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Note
Includes author index.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed February 7, 2019).
Series
Communications in computer and information science ; 1008.
Linked Resources
Record Appears in