학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 13건 | 목록 1~10
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2024, 62(1-3):260-284)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8723:34-50)
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)
Conference
In: 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018, 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018, 15 November 2018)
Conference
In: HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 11 April 2018, :177-186)
Book
In: Static Analysis - 25th International Symposium, SAS 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11002 LNCS:127-145)
Book
In: Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11022 LNCS:215-232)
Book
In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10419 LNCS:189-206)
Book
In: Static Analysis - 24th International Symposium, SAS 2017, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10422 LNCS:23-45)
검색 결과 제한하기
제한된 항목
[AR] Bakhirkin, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어