Login / Signup

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).

Maxime BuyseRémi DelmasYoussef Hamadi
Published in: Dagstuhl Artifacts Ser. (2021)
Keyphrases