Sfoglia per Autore "Driouich, Youssef"
Items 1-1 di 1
-
Model Checking Cyber-Physical Systems
Driouich, Youssef (Universita degli studi di Salerno, 2019-03-12)Cyber-Physical Systems (CPSs) are integrations of computation with physical processes. Applications of CPS arguably have the potential to overshadow the 20-th century IT revolution. Nowadays, CPSs application to many ...