Search alternatives:
"actor" » "factor", "actors", "autor"
Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended...”