학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 27건 | 목록 1~10
Conference
2022 29th Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2022 29th Asia-Pacific. :259-268 Dec, 2022
Report
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
Academic Journal
Constraints: An International Journal; Mar2023, Vol. 28 Issue 1, p45-66, 22p
Academic Journal
International Journal on Software Tools for Technology Transfer. Feb2023, Vol. 25 Issue 1, p77-94. 18p.
Academic Journal
Innovations in Systems & Software Engineering; Jun2020, Vol. 16 Issue 2, p143-159, 17p
Book
Automated Technology for Verification & Analysis (9783319465197); 2016, p340-356, 17p
검색 결과 제한하기
제한된 항목
[AR] Renault, Etienne
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어