• Sign in
  • Sign up
conf.researchr.org / Neeraj Suri
  • ICST 2021 profile
  • NASA Formal Methods 2024 profile
No Photo

Registered user since Fri 19 Mar 2021

Name:Neeraj Suri

Contributions

2024

NFM

  • Author of Real Arithmetic in TLAPM within the NFM 2024-track

2021

ICST

  • Author of Fast Kernel Error Propagation Analysis in Virtualized Environments within the Research Papers-track
Share
xSat 17 May 23:16
using conf.researchr.org (v1.69.0)
Support page
Sign Up