학술논문
'학술논문'
에서 검색결과 8건 | 목록
1~10
Academic Journal
Tegethoff, Sina A.; Danziger, Guy; Kühn, Dennis; Kimmer, Charlotte; Adams, Thomas; Heintz, Lena; Metz, Carlos; Reifenrath, Katharina; Angresius, Rebecca; Mang, Sebastian; Rixecker, Torben; Becker, André; Geisel, Jürgen; Jentgen, Christophe; Seiler, Frederik; Reichert, Matthias C.; Fröhlich, Franziska; Meyer, Sascha; Rissland, Jürgen; Ewen, Sebastian; Wagenpfeil, Gudrun; Last, Katharina; Smola, Sigrun; Bals, Robert; Lammert, Frank; Becker, Sören L.; Krawczyk, Marcin; Lepper, Philipp M.; Papan, Cihan
In International Journal of Infectious Diseases September 2022 122:178-187
Conference
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) COMPSAC Computer Software and Applications Conference (COMPSAC), 2018 IEEE 42nd Annual. 01:990-999 Jul, 2018
Conference
2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS) Design & Technology of Integrated Systems In Nanoscale Era (DTIS), 2017 12th International Conference on. :1-7 Apr, 2017
Academic Journal
Kühn, Dennis; Metz, Carlos; Seiler, Frederik; Wehrfritz, Holger; Roth, Sophie; Alqudrah, Mohammad; Becker, André; Bracht, Hendrik; Wagenpfeil, Stefan; Hoffmann, Mathias; Bals, Robert; Hübner, Ulrich; Geisel, Jürgen; Lepper, Philipp M.; Becker, Sören L.
Critical Care; 11/25/2020, Vol. 24 Issue 1, p1-10, 10p
Book
Leveraging Applications of Formal Methods, Verification & Validation (9783319516400); 2016, p113-127, 15p
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Kühn, Dennis
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어