Formal Techniques for Safety-Critical Systems
Subtitle: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)
Publisher: Springer
Published: Feb 01, 2019
Format: paperback
Number of pages: 192
ISBN-13: 9783030129873
Notes: Source title: Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)