61
62
63
64
65
67
69
70
72
73
Bernardeschi, Cinzia
2023
Table of Contents:
“...Artificial Intelligence -- Co-Simulation -- Formal Methods -- Formal Modelling -- Verification and Validation -- High Confidence Systems -- Integrated Development Environment -- Interdisciplinary Foundations of Cognition -- Logics; Simulation; Software...”2023
Full text
74
75
76
77
78
80