43 citations · 119 across the 29 of their papers we have counts for
1 paper · 2 filters
Ritam Ganguly, Borzoo Bonakdarpour
Industrial Control Systems (ICS) are often built from geographically distributed components and often use programmable logic controllers for localized processes. Since verification…