Login / Signup

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation.

Erwan MaheBoutheina BannourChristophe GastonArnault LapitrePascale Le Gall
Published in: CoRR (2024)
Keyphrases