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