학술논문
'학술논문'
에서 검색결과 108건 | 목록
1~10
Academic Journal
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 45(10):945-966 Oct, 2019
Academic Journal
In: ACM Transactions on Privacy and Security . (ACM Transactions on Privacy and Security, 14 April 2023, 26(3))
Conference
In: Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024 , Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024. (Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024, 14 April 2024, :111-121)
Academic Journal
In: Journal of Object Technology . (Journal of Object Technology, 2020, 19(3):1-16)
Book
In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14010 LNCS:15-32)
Book
In: Formal Methods - 25th International Symposium, FM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14000 LNCS:427-444)
Academic Journal
In: Journal of Software: Evolution and Process . (Journal of Software: Evolution and Process, September 2018, 30(9))
Academic Journal
In: Software - Practice and Experience . (Software - Practice and Experience, December 2017, 47(12):1923-1943)
Academic Journal
In: Data Science and Engineering . (Data Science and Engineering, 1 June 2017, 2(2):107-124)
Book
In: Tests and Proofs - 16th International Conference, TAP 2022, held as Part of STAF 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13361 LNCS:106-125)
검색 결과 제한하기
제한된 항목
[AR] Brucker, A.D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어