학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 149건 | 목록 1~10
Conference
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) Software Engineering and Formal Methods Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on. :117-126 2005
Conference
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :416-425 2004
Conference
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering Automated software engineering Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on. :269-272 2000
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 2024)
Academic Journal
In: International Journal of Transport Development and Integration. (International Journal of Transport Development and Integration, December 2023, 7(4):311-329)
Academic Journal
Innovations in Systems and Software Engineering: A NASA Journal. December 2011 7(4):303-313
검색 결과 제한하기
제한된 항목
[Author] Laleau R
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어