학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 161건 | 목록 120~130
Book
In: Implementation and Application of Automata - 15th International Conference, CIAA 2010, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6482 LNCS:87-94)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - FM-09 Workshop on Formal Methods for Aerospace, FMA 2009. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 28 March 2010, 20:68-75)
Book
In: Formal Techniques for Distributed Systems - Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6117 LNCS:155-169)
Conference
In: Proceedings of the ACM Symposium on Applied Computing, 24th Annual ACM Symposium on Applied Computing, SAC 2009. (Proceedings of the ACM Symposium on Applied Computing, 2009, :566-573)
Book
In: Formal Methods for Industrial Critical Systems - 13th International Workshop, FMICS 2008, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5596 LNCS:166-181)
Book
In: FM 2009: Formal Methods - Second World Congress, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5850 LNCS:89-105)
Book
In: Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5643 LNCS:188-203)
Book
In: Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5311 LNCS:111-125)
Book
In: Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4590 LNCS:532-546)
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:505-518)
검색 결과 제한하기
제한된 항목
[AR] Tonetta, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어