학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 55건 | 목록 1~10
Conference
2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2024 IEEE/ACM 46th International Conference on. :25-35 Apr, 2024
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :3-22
Conference
2016 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2016. :141-148 Oct, 2016
Academic Journal
In Electronic Notes in Theoretical Computer Science 29 June 2007 182:139-153
Academic Journal
In Electronic Notes in Theoretical Computer Science 31 May 2007 176(2):143-154
Conference
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. :93-102 Nov, 2011
Conference
2008 34th Euromicro Conference Software Engineering and Advanced Applications Software Engineering and Advanced Applications, 2008. SEAA '08. 34th Euromicro Conference. :3-10 Sep, 2008
Conference
33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007) Software Engineering and Advanced Applications, 2007. 33rd EUROMICRO Conference on. :75-82 Aug, 2007
검색 결과 제한하기
제한된 항목
[AR] Parizek, Pavel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어