Search alternatives:
optimization given » optimization fixed, optimization solver, optimization based
given developing » five developing, seven developing, living developing
developing trust » developing east, develop trust, developing cross
trust program » rust programs, test program, forest program
optimization given » optimization fixed, optimization solver, optimization based
given developing » five developing, seven developing, living developing
developing trust » developing east, develop trust, developing cross
trust program » rust programs, test program, forest program
1
2
by Pientka, Brigitte.
Published 2023
Format:
Published 2023
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View
