학술논문

EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 195건 | 목록 1~10
Report
Logical Methods in Computer Science, Volume 14, Issue 4, Modal and temporal logics (October 23, 2018) lmcs:3774
Book
In: Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14678 LNCS:20-38)
Conference
2010 8th IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on. :169-180 Sep, 2010
Academic Journal
In Electronic Notes in Theoretical Computer Science May 2001 43:75-96
Conference
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Software Engineering Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on. :596-603 2005
Conference
International Conference on Dependable Systems and Networks, 2004 Dependable systems and networks Dependable Systems and Networks, 2004 International Conference on. :711-720 2004
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. :75-84 2004
Conference
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems Engineering of complex computer systems Engineering of Complex Computer Systems, 2001. Proceedings. Seventh IEEE International Conference on. :270-279 2001
검색 결과 제한하기
제한된 항목
[AR] Massink, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어