학술논문
'학술논문'
에서 검색결과 20건 | 목록
1~10
Academic Journal
Biewer, S.; Baum, K.; Sterz, S.; Hermanns, H.; Hetmank, S.; Lauber-Rönsberg, A.; Lehr, F.; Langer, M.
In: Formal Methods in System Design . (Formal Methods in System Design, 2024)
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, April 2023, 25(2):205-218)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2022, 18(1))
Academic Journal
In: ACM Transactions on Modeling and Computer Simulation . (ACM Transactions on Modeling and Computer Simulation, July 2021, 31(3))
Conference
In: Proceedings - IEEE Computer Security Foundations Symposium , Proceedings - 2023 IEEE 36th Computer Security Foundations Symposium, CSF 2023. (Proceedings - IEEE Computer Security Foundations Symposium, 2023, 2023-July:245-260)
Book
In: Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13241 LNCS:71-91)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12652 LNCS:365-372)
Book
In: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12136 LNCS:59-77)
Academic Journal
In: Crop Science . (Crop Science, September 2009, 49(5):1927-1936)
Academic Journal
In: Crop Science . (Crop Science, September 2009, 49(5):1917-1926)
검색 결과 제한하기
제한된 항목
[AR] Biewer, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어