An Integrated Framework for the Analysis of Dependable Interactive Systems (Ifadis): Its Tool Support and Evaluation
AuthID
P-00G-DKN
P-00G-DKN
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service