Search
Now showing items 1-1 of 1
Model Checking Cyber-Physical Systems
(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 sectors ...