Laura Nenzi · 4 obras en el catálogoObrasThe Chaos and Cosmos of Kurosawa TokikoEExcursions in IdentityExcursions in IdentitySSoftware Verification and Formal Methods for ML-Enabled AutoSoftware Verification and Formal Methods for ML-Enabled Autonomous SystemsRRuntime VerificationRuntime Verification
SSoftware Verification and Formal Methods for ML-Enabled AutoSoftware Verification and Formal Methods for ML-Enabled Autonomous Systems