Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Neeraj Suri
conf.researchr.org general profile
ICST 2021 profile
NASA Formal Methods 2024 profile
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
x
Sat 21 Dec 18:19