Items where Author is "Suri, N."

Green, B. and Derbyshire, R. and Krotofil, M. and Knowles, W. and Prince, D. and Suri, N. (2021) PCaaD : Towards automated determination and exploitation of industrial systems. Computers and Security, 110: 102424. ISSN 0167-4048

Suri, N. and Sinha, P. (1998) On the use of formal techniques for validation. In: Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing :. IEEE, pp. 1-10. ISBN 0818684704

Suri, N. and Hugue, M.M. and Walter, C.J. (1992) Reliability modeling of large fault-tolerant systems. In: Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing :. IEEE, pp. 212-220. ISBN 0818628758