학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 21건 | 목록 1~10
Conference
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :39-43 May, 2023
Conference
2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench) CPSBENCH Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018 IEEE Workshop on. :25-29 Apr, 2018
Conference
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :601-612 Oct, 2017
Conference
Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies. :267-281
Conference
2017 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting Antennas and Propagation & USNC/URSI National Radio Science Meeting, 2017 IEEE International Symposium on. :1085-1086 Jul, 2017
Conference
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation Principles of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS 26th Workshop on. :23-32 Jul, 2012
Academic Journal
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special Issue on PADS 2016. 28(4):1-25
Conference
Proceedings of the SIGCOMM Posters and Demos. :34-36
검색 결과 제한하기
제한된 항목
[AR] Schemmel, Daniel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어