1 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
Gabriel Araujo, Ricardo Caldas, Federico Formica +3
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by executi…