학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 188건 | 목록 1~10
Interní medicína pro praxi | 2009 Volume:11 | Number:6
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, January 2024, 231)
Academic Journal
In: Software Testing Verification and Reliability. (Software Testing Verification and Reliability, March 2022, 32(2))
Conference
In: FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023, FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023. (FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023, 18 October 2023, :26-36)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, December 2021, 33(6):925-955)
Conference
Proceedings 1999 Pacific Rim International Symposium on Dependable Computing Dependable computing Dependable Computing, 1999. Proceedings. 1999 Pacific Rim International Symposium on. :135-142 1999
Conference
Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224) Fault-tolerant computing Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on. :372-381 1998
Academic Journal
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 26(8):687-701 Aug, 2000
Book
In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14131 LNCS:183-201)
검색 결과 제한하기
제한된 항목
[AR] Peleska, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어