학술논문
'학술논문'
에서 검색결과 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)
Academic Journal
In: Water Science and Technology . (Water Science and Technology, 2014, 69(2):320-327)
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)
주제어
언어