Laboratoire d'intégration de systèmes et de technologies (LIST)
… Physics Symbolic Path-Guided Test Cases for Models with Data and Time Pascale Le Gall, Thang Nguyen 01/01/24 Lecture … Physics Symbolic Path-Guided Test Cases for Models with Data and Time Pascale Le Gall, Thang Nguyen 01/01/24 Lecture …Published on: