학술논문
'학술논문'
에서 검색결과 8건 | 목록
1~10
Academic Journal
In: Software and Systems Modeling . (Software and Systems Modeling, 2024)
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, June 2022, 24(3):441-472)
Book
In: Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14952 LNCS:63-79)
Academic Journal
Rooks, D.; Swan, T.; Filosa, L.A.; Coleman, L.A.; Miller, R.R.; Goswami, B.; Bunte, O.; Panchaud, N.; Garcia Garayoa, E.; Laurent, D.; Petricoul, O.; Hemsley, S.; Lach-Trifilieff, E.; Roubenoff, R.; Praestgaard, J.; Papanicolaou, D.A.; Perry, R.G.; Recknor, C.; Fogarty, C.M.; Arai, H.; Chen, L.-K.; Hashimoto, J.; Chung, Y.-S.; Vissing, J.
In: JAMA Network Open . (JAMA Network Open, 19 October 2020, 3(10):E2020836)
Book
In: SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13878 LNCS:239-253)
Academic Journal
Mueller, A.; Hoefling, H.A.; Muaremi, A.; Bunte, O.; Huber, R.M.; Schieker, M.; Roubenoff, R.; Brachat, S.; Clay, I.; Praestgaard, J.; Walsh, L.C.; Fürmetz, J.; Keppler, A.M.; Böcker, W.; Rooks, D.S.
In: JMIR mHealth and uHealth . (JMIR mHealth and uHealth, 2019, 7(11))
Book
In: Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12327 LNCS:231-251)
Book
Bunte, O.; Groote, J.F.; Keiren, J.J.A.; Laveaux, M.; Neele, T.; de Vink, E.P.; Wesselink, W.; Wijs, A.; Willemse, T.A.C.
In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11428 LNCS:21-39)
검색 결과 제한하기
제한된 항목
[AR] Bunte, O.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어