|
1 |
CliCFPGA: Collaboration Platform for Component-Based Design and Verification of AI-Based System Using FPGAs
Amin, Rashed Al. - Siegen : Universitätsbibliothek der Universität Siegen, 2025
|
|
|
|
2 |
Technische Evaluierung, Verifikation und klinische Einführung eines Patienten-Oberflächen-Überwachungssystems für strahlentherapeutische Behandlungen im Bereich des Kopfes
Rauwald-Josephs, Patrick. - Marburg : Philipps-Universität Marburg, 2025
|
|
|
|
3 |
Development of a prompt γ-ray timing system including a proton bunch monitor for range verification in proton therapy
Permatasari, Felicia Fibiani. - Dresden : Technische Universität Dresden, 2023
|
|
|
|
4 |
On the connection of probabilistic model checking, planning, and learning for system verification
Klauck, Michaela. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2022
|
|
|
|
5 |
System Verification Via Generic Games
Mika-Michalski, Christina. - Duisburg : Universität Duisburg-Essen, 2022
|
|
|
|
6 |
Merging spacecraft software development and system tests
Bucher, Nico. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2021
|
|
|
|
7 |
Physically-Based Methodology for the EMC-Compliant Design and Verification of Automotive System ICs
Schade, Alexander. - Erlangen : FAU University Press, 2021
|
|
|
|
8 |
A hybrid methodology to enable the verification of temporal properties as system-level
Grimm, Tomás. - Bochum : Ruhr-Universität Bochum, 2019
|
|
|
|
9 |
Formal verification of the equivalence of system F and the pure type system L2
Kaiser, Jonas. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2019
|
|
|
|
10 |
The effectiveness of timber legality verification regime: a case of Ghana’s Legality Assurance System (GhLAS)
Ziga-Abortta, Fafali Roy. - Freiburg : Universität, 2022
|
|
Administration
