16 citations · 40 across the 6 of their papers we have counts for
1 paper · 1 filter
Chaima Boufaied, Maris Jukss, Domenico Bianculli +2
The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs ar…