학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 361건 | 목록 1~10
Academic Journal
In: Journal of Object Technology. (Journal of Object Technology, 2024, 23(1):1-24)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 29 September 2023, 974)
Academic Journal
IEEE Software IEEE Softw. Software, IEEE. 37(2):25-31 Apr, 2020
Academic Journal
In: Communications of the ACM. (Communications of the ACM, 21 April 2023, 66(5):62-71)
Report
International Journal on Software and Systems Modeling, 2019
Conference
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT) Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on. :263-272 Oct, 2011
Conference
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Formal methods and models for co-design Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on. :143-149 2005
Conference
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems Engineering complex computer systems Engineering Complex Computer Systems, 2004. Proceedings. Ninth IEEE International Conference on. :3-12 2004
Conference
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Formal methods and models for co-design Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on. :183-195 2003
Conference
Proceedings International Symposium on Multimedia Software Engineering Multimedia software engineering Multimedia Software Engineering, 2000. Proceedings. International Symposium on. :42-47 2000
검색 결과 제한하기
제한된 항목
[AR] Broy, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어