Mathématiques et Informatique pour la Complexité et les Systèmes (MICS)
… Mathématiques et Informatique pour la Complexité et les Systèmes (MICS) Mathématiques et Informatique pour la … Symbolic Path-Guided Test Cases for Models with Data and Time Pascale Le Gall, Thang Nguyen 01/01/24 Lecture …Published on: