Kovacs, Adam
1159  Ergebnisse:
?
1

EmergenTheta: Verification Beyond Abstraction Refinement (C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bajczi, Levente ; Szekeres, Dániel ; Mondok, Milán... - p. 371-375 , 2024
 
?
6

Right ventricular pressure-strain relationship-derived myoc..:

Lakatos, Bálint K. ; Rako, Zvonimir ; Szijártó, Ádám...
The Journal of Heart and Lung Transplantation.  43 (2024)  7 - p. 1183-1187 , 2024
 
?
7

Data Collection Studies for the Better Understanding of Fac..:

, In: 2024 IEEE 11th International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC),
Simon, Barbara ; Hartveg, Adam ; Siket, Mate... - p. 000375-000380 , 2024
 
?
8

Long-term impact of basin-wide wastewater management on fae..:

Kirschner, Alexander K. T. ; Schachner-Groehs, Iris ; Kavka, Gerhard...
Environmental Science and Pollution Research.  31 (2024)  33 - p. 45697-45710 , 2024
 
?
13

Mobile Application Development for Diabetes Patient:

, In: 2024 IEEE 18th International Symposium on Applied Computational Intelligence and Informatics (SACI),
Potyok, Csaba ; Simon, Barbara ; Hartveg, Adam... - p. 000559-000564 , 2024
 
1-15
Mehr Literatur finden