학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 252건 | 목록 170~180
Book
In: Model-Driven Engineering for Distributed Real-Time Systems: MARTE Modeling, Model Transformations and their Usages. (Model-Driven Engineering for Distributed Real-Time Systems: MARTE Modeling, Model Transformations and their Usages, 5 March 2013, :73-103)
Conference
In: International Gas Research Conference Proceedings, International Gas Union Research Conference 2011, IGRC 2011. (International Gas Research Conference Proceedings, 2011, 4:2704-2719)
Conference
In: UBICOMM 2010 - 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2010 - 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies. (UBICOMM 2010 - 4th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2010, :452-457)
Book
In: Theoretical Aspects of Computing, ICTAC 2010 - 7th International Colloquium, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6255 LNCS:184-198)
Conference
In: VECIMS 2010 - 2010 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, Proceedings, VECIMS 2010 - 2010 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, Proceedings. (VECIMS 2010 - 2010 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, Proceedings, 2010, :42-46)
Academic Journal
MATERIALS SCIENCE AND ENGINEERING A-STRUCTURAL MATERIALS PROPERTIES MICROSTRUCTURE AND PROCESSING; FEB 25 2009, 502 1-2, p144-p147, 4p.
Book
In: Testing of Software and Communicating Systems - 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5047 LNCS:184-199)
Book
In: Tests and Proofs - First International Conference, TAP 2007, Revised Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4454 LNCS:131-148)
Book
In: Testing of Communicating Systems - 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3964 LNCS:1-18)
검색 결과 제한하기
제한된 항목
[AR] Touil, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어