Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers / Osman Hasan, Frédéric Mallet (eds.).
2020
QA76.9.F67
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 : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers / Osman Hasan, Frédéric Mallet (eds.).
Meeting Name
FTSCS (Workshop) (7th : 2019 : Shenzhen Shi, China)
ISBN
9783030469023 (electronic book)
3030469026 (electronic book)
9783030469016
3030469018
3030469026 (electronic book)
9783030469016
3030469018
Published
Cham, Switzerland : Springer, 2020.
Language
English
Description
1 online resource (viii, 141 pages) : illustrations.
Item Number
10.1007/978-3-030-46902-3 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 4, 2020).
Added Author
Hasan, Osman, 1975- editor.
Mallet, Frédéric, editor.
Mallet, Frédéric, editor.
Series
Communications in computer and information science ; 1165. 1865-0929
Available in Other Form
Print version: 9783030469016
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources