Browsing HVL Open by Author "Torta, Gianluca"
Now showing items 1-1 of 1
-
Distributed runtime verification by past-CTL and the field calculus
Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko (Peer reviewed; Journal article, 2022)Recent trends in the engineering of software-intensive systems increasingly promote the adoption of computation at the edge of the network, in the proximity of where sensing and actuation are performed. Applications are ...