Registered user since Tue 19 Sep 2023
Name:Natalia Kushik
Country:France
Affiliation:SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris
Research interests:Verification, Model based testing, Formal methods
Contributions
2025
Using general profile