학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 96건 | 목록 30~40
Conference
In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2021, Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2021. (Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2021, 20 November 2021, :118-125)
Academic Journal
In: Information and Computation. (Information and Computation, 28 July 2015, 243:50-74)
Academic Journal
In: Information and Computation. (Information and Computation, 1 April 2015, 241:142-176)
Book
In: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12288 LNCS:76-93)
Book
In: NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12229 LNCS:420-439)
Academic Journal
In: Canadian Journal of Gastroenterology. (Canadian Journal of Gastroenterology, May 2008, 22(5):491-495)
Academic Journal
In: Annales de Pathologie. (Annales de Pathologie, April 2020, 40(2):63-69)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11428 LNCS:79-97)
Book
In: Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11750 LNCS:114-120)
검색 결과 제한하기
제한된 항목
[AR] Basset, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어