Catégorie Article dans une revue Auteurs Erwan Mahe Boutheina Bannour Christophe Gaston Arnault Lapitre Pascale Le Gall https://cea.hal.science/cea-04604825v1 doc ID 4604825 Nom Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation Date de publication jeu 20/02/2025 - 12:00