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/2024 … Physics Symbolic Path-Guided Test Cases for Models with Data and Time Pascale Le Gall, Thang Nguyen 01/01/2024 …Published on: