Neeraj Singh - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Registered user since Mon 10 Apr 2023

Name:Neeraj Singh

Country:France

Affiliation:INPT-ENSEEIHT / IRIT, University of Toulouse, France

Contributions

2023

NFM

Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework

Show activities from other conferences

NASA Formal Methods 2023-profile
View general profile