Towards a Formal Framework for Reasoning About the Resilience of Dynamic Interactive Systems
AuthID
P-00M-J4C
P-00M-J4C
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service