학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 38건 | 목록 1~10
Academic Journal
Formal Methods in System Design; Jun2024, Vol. 62 Issue 1-3, p1-40, 40p
Academic Journal
International Journal on Software Tools for Technology Transfer. Dec2023, Vol. 25 Issue 5/6, p675-691. 17p.
Academic Journal
International Journal on Software Tools for Technology Transfer. Dec2023, Vol. 25 Issue 5/6, p765-784. 20p.
Academic Journal
13 Beijing L. Rev. 738 (2022) / Beijing Law Review, Vol. 13, Issue 4 (December 2022), pp. 738-748
Academic Journal
ACM Transactions on Software Engineering and Methodology (TOSEM). 31(3):1-41
Academic Journal
FORMAL METHODS IN SYSTEM DESIGN; MAY 17 2023, 40p.
검색 결과 제한하기
제한된 항목
[AR] Di Stefano, Luca
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어