Sign in

InTra: Automatic Reduction of Model Complexity and Generation of System Variants - A Tool Demonstration.

Philippe BarbieVasil L. TenevMartin Becker
Published in: SPLC (B) (2023)
Keyphrases