1
2
3
4
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ... Safety Components -- 3.2 Development of the Planning, Communication and Verification Software -- 3...
Click to View
5
... and across countries, simulating the performance of alternative reform options, and assessing the viability...
Get full text
6
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...
Click to View