Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.).
2019
QA76.9.F67 I58 2019eb
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 methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.).
Meeting Name
International Workshop on Formal Methods for Industrial Critical Systems (24th : 2019 : Amsterdam, Netherlands)
ISBN
9783030270087 (electronic book)
3030270084 (electronic book)
9783030270070
3030270084 (electronic book)
9783030270070
Published
Cham : Springer, [2019]
Copyright
©2019
Language
English
Description
1 online resource : illustrations.
Item Number
10.1007/978-3-030-27008-7 doi
Call Number
QA76.9.F67 I58 2019eb
Dewey Decimal Classification
004.01/51
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 September 11, 2019).
Series
Lecture notes in computer science ; 11687.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources