학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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)
Conference
2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W) FAS-W Foundations and Applications of Self* Systems (FAS*W), 2017 IEEE 2nd International Workshops on. :371-374 Sep, 2017
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)
Academic Journal
In Journal of Materials Processing Tech. 2002 123(2):313-318
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)
주제어
언어