Browsing by Author Pattabiraman, K.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Supervisor(s) |
---|---|---|---|
2017 | ARTINALI: Dynamic invariant detection for Cyber-Physical System security | Aliabadi, M.R.; Kamath, A.A.; Gascon-Samson, J.; Pattabiraman, K. | - |