Formal Techniques for Safety-Critical Systems
Subtitle: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Publisher: Springer
Published: 2020
Language: eng
ISBN-13: 9783030469016
Subjects: Artificial intelligence; Expert systems (computer science); Computer simulation; Computer science