Rajesh Jayashankara Shridevi
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Probabilistic Verification for Reliable Network-on-Chip System Design
Benjamin Lewis and others (2019) · Formal Methods for Industrial Critical Systems · Springer