2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Pritam Roy, Paulo Tabuada, Rupak Majumdar
The verification and validation of cyber-physical systems is known to be a difficult problem due to the different modeling abstractions used for control components and for software…