1
Published 2019
Springer International Publishing
Subjects: ...Machine theory...

2
Published 2017
Springer International Publishing
Table of Contents: ... modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  ...