Model Checking Actor-based Cyber-Physical Systems
Franco Cicirelli, Libero Nigro · 2020
The following topics are dealt with: cloud computing; Internet of Things; autonomous aerial vehicles; learning (artificial intelligence); parallel processing; virtualisation; formal verification; distributed processing; computer simulation; scheduling.