Bhavesh Narra

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Pspace Complete

Industrial Automation

Top Venues

Publications

Rajesh Kumar, Bhavesh Narra, Rohan Kela, Siddhant Singh
AFMT: Maintaining the safety-security of industrial control systems. Comput. Ind. 136 (2022)
Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela
Co-engineering Safety-Security Using Statistical Model Checking. FORTE (2022)