학술논문
'학술논문'
에서 검색결과 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)
주제어
언어