I agree that this site is using cookies. You can find further informations here.
X
Kunz, Wolfgang G
20  results:
Thesis (Online) X
Search for persons X
?
1

Etablierung neuer „imaging biomarkers“ zur Entscheidungsunt..:

Stückelschweiger, Lena Maria , 2023
Link: https://nbn-resolving.de..
 
?
2

Radiomische Features der Milz zur Charakterisierung maligne..:

Enke, Johanna Sophie , 2023
Link: https://nbn-resolving.de..
 
?
3

Application-Dependent Hardware/Software Cross-Layer Fault A..:

Bartsch, Christian , 2023
Link: https://nbn-resolving.de..
 
?
4

Unique Program Execution Checking: A Novel Approach for For..:

Rahmani Fadiheh, Mohammad , 2022
Link: https://nbn-resolving.de..
 
?
5

Detektion von Imaging Biomarkern zur Charakterisierung und ..:

Jäger, Nils , 2022
Link: https://nbn-resolving.de..
 
?
6

Model-based Generation of Assertions for Pre-silicon Verifi..:

Devarajegowda, Keerthikumara , 2021
Link: https://nbn-resolving.de..
 
?
7

Techniques For Efficient Binary-Level Coverage Analysis:

Ben Khadra, Mohamed Ammar , 2021
Link: https://nbn-resolving.de..
 
?
8

Formal Hardware/Firmware Co-Verification of Optimized Embed..:

Schwarz, Michael , 2021
Link: https://nbn-resolving.de..
 
?
9

Property-Driven Design:

Ludwig, Tobias , 2021
Link: https://nbn-resolving.de..
 
?
10

Programmnetzlisten: Ein formales Modell für die Verifikati..:

Schmidt, Bernard , 2020
Link: https://nbn-resolving.de..
 
?
11

Radiologische Entscheidungsunterstützung im akuten Schlaga..:

Kunz, Wolfgang , 2018
Link: http://nbn-resolving.de/..
 
?
12

Formal Verification of Firmware-Based System-on-Chip Module:

Villarraga, Carlos , 2017
Link: http://nbn-resolving.de/..
 
?
13

Coverage of Compositional Property Sets for Hardware and Ha..:

Bao, Binghao , 2017
Link: http://nbn-resolving.de/..
 
?
14

The role of the chemokine CCL22 in the interaction of dendr..:

Kunz, Wolfgang , 2017
Link: http://nbn-resolving.de/..
 
?
15

New Solving Techniques for Property Checking of Arithmetic .. 

= Neue Beweistechniken für die Eigenschaftsprüfung von ar... 
Pavlenko, Evgeny , 2012
Link: http://nbn-resolving.de/..
 
1-15