Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 1 day ago
this thesis, we will focus on the models expressed by logics and data. These models are used in order to check different properties about these models in order to check that the models are correct and coherent
-
and in pathological models, we aim to establish direct links between molecular determinants and muscle physiopathology Detailed Description of the Project : Not all muscles in the body are equivalent
Searches related to model checking
Enter an email to receive alerts for model-checking positions