학술논문
'학술논문'
에서 검색결과 525건 | 목록
1~10
Academic Journal
In: International Journal of Advanced Manufacturing Technology . (International Journal of Advanced Manufacturing Technology, September 2023, 128(3-4):1517-1533)
Academic Journal
In Information and Software Technology June 2012 54(6):593-607
Academic Journal
In: Formal Aspects of Computing . (Formal Aspects of Computing, 6 July 2022, 34(1))
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:214-234)
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. :170-179 2005
Conference
International Conference on Dependable Systems and Networks, 2004 Dependable systems and networks Dependable Systems and Networks, 2004 International Conference on. :651-658 2004
Conference
COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :151-162 1995
Conference
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on. :276-283 1992
검색 결과 제한하기
제한된 항목
[AR] Reif, W.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어