• Sign in
  • Sign up
conf.researchr.org / Neeraj Singh
  • APSEC 2022 profile
  • FM 2026 profile
  • NASA Formal Methods 2023 profile
No Photo

Registered user since Mon 10 Apr 2023

Name:Neeraj Singh
Country:France
Affiliation:INPT-ENSEEIHT / IRIT, University of Toulouse, France

Contributions

2026

FM

  • Tutorials Co-Chair in Organizing Committee

2023

NFM

  • Author of Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework within the NFM 2023-track

2022

APSEC

  • Author of Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours within the Technical Track-track
Share
xFri 25 Jul 01:37
using conf.researchr.org (v1.69.1)
Support page
Sign Up