Search alternatives:
"actors" » "factors"
Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “... Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination...”