Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... Notes in Computer Science, Band 10471)

Verification

von: Laure Petrucci · Cristina Seceleanu · Ana Cavalcanti

Taschenbuch

ISBN: 978-3-319-67112-3

ISBN-10: 3-319-67112-X

Springer · 2017