학술논문
'학술논문'
에서 검색결과 6건 | 목록
1~10
Conference
2020 Ivannikov Memorial Workshop (IVMEM) IVMEM Ivannikov Memorial Workshop (IVMEM), 2020. :49-54 Sep, 2020
Book
Devyanin, Petr N.; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Petrenko, Alexander K.; Shchepetkov, Ilya V.
Perspectives of System Informatics (9783319415789); 2016, p107-115, 9p
Book
Devyanin, Petr N.; Khoroshilov, Alexey V.; Kuliamin, Victor V.; Petrenko, Alexander K.; Shchepetkov, Ilya V.
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p309-313, 5p
검색 결과 제한하기
제한된 항목
[검색어] Shchepetkov, Ilya
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어