Formal Techniques for Safety-Critical Systems
Subtitle: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Publisher: Springer
Published: Mar 23, 2017
Format: paperback
Number of pages: 161
ISBN-13: 9783319539454
Notes: Source title: Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)