학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 20건 | 목록 1~10
Academic Journal
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)
검색 결과 제한하기
제한된 항목
[AR] Biewer, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어