학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 145건 | 목록 110~120
Book
In: Test and Analysis of Web Services. (Test and Analysis of Web Services, 2007, :121-145)
Book
In: Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4591 LNCS:37-53)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4424 LNCS:583-586)
Conference
In: Proceedings -Design, Automation and Test in Europe, DATE, Proceedings - 2007 Design, Automation and Test in Europe Conference and Exhibition, DATE 2007. (Proceedings -Design, Automation and Test in Europe, DATE, 2007, :1325-1330)
Conference
In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. (6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, 2007, :609-610)
Book
In: Leveraging Applications of Formal Methods - First International Symposium, ISoLA 2004, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4313 LNCS:96-114)
Book
In: Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Revised Lectures. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4111 LNCS:243-258)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3920 LNCS:242-256)
Conference
In: Lecture Notes in Computer Science, Model Checking Software: 12th International SPIN Workshop. Proceedings. (Lecture Notes in Computer Science, 2005, 3639:75-90)
Conference
In: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems - 11th Int. Conference, TACAS 2005, held as part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2005, Proc.. (Lecture Notes in Computer Science, 2005, 3440:570-574)
검색 결과 제한하기
제한된 항목
[AR] Sharygina, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어