학술논문
'학술논문'
에서 검색결과 85건 | 목록
1~10
Academic Journal
In IFAC PapersOnLine 2018 51(7):408-415
Conference
2019 IEEE 17th International Conference on Industrial Informatics (INDIN) Industrial Informatics (INDIN), 2019 IEEE 17th International Conference on. 1:386-391 Jul, 2019
Conference
Claessen, Koen; Smallbone, Nicholas; Liden Eddeland, Johan; Ramezani, Zahra; Akesson, Knut; Miremadi, Sajed
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) MT-CPS Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018 IEEE Workshop on. :8-9 Apr, 2018
Academic Journal
Report
Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2628
Conference
IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. :67-78
Conference
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing. :34-46
검색 결과 제한하기
제한된 항목
[AR] Smallbone, Nicholas
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어