학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 137건 | 목록 1~10
Report
Leveraging Applications of Formal Methods, Verification and Validation. 11th International Symposium, ISoLA 2022, 2022, Rhodes, Greece. pp.88-105
Report
Logical Methods in Computer Science, Volume 19, Issue 1 (March 6, 2023) lmcs:8860
Conference
2018 International Conference on Applied Mathematics & Computational Science (ICAMCS.NET) ICAMCS.NET Applied Mathematics & Computational Science (ICAMCS.NET), 2018 International Conference on. :129-1294 Oct, 2018
Report
Logical Methods in Computer Science, Volume 19, Issue 1 (January 18, 2023) lmcs:6947
Conference
2017 Fourth International Conference on Mathematics and Computers in Sciences and in Industry (MCSI) MCSI Mathematics and Computers in Sciences and in Industry (MCSI), 2017 Fourth International Conference on. :201-205 Aug, 2017
검색 결과 제한하기
제한된 항목
[AR] Konnov, Igor
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어