
Registered user since Fri 15 Feb 2019
Name:Stéphanie Challita
Affiliation:Inria, France
Personal website:http://researchers.lille.inria.fr/schallit/
Research interests:Cloud Computing, Internet of Things, Model-Driven Engineering, Formal Verification & Validation
Contributions
FormaliSE 2019 | Communications Chair in Organizing Committee within the FormaliSE 2019-track Session Chair of Session 4 (part of FormaliSE 2019) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile