학술논문
'학술논문'
에서 검색결과 245건 | 목록
1~10
Academic Journal
Goorden, Martijn A.; Larsen, Kim G.; Nielsen, Jesper E.; Nielsen, Thomas D.; Qian, Weizhu; Rasmussen, Michael R.; Srba, Jiří; Zhao, Guohan
In Nonlinear Analysis: Hybrid Systems August 2024 53
Conference
2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) DSN Dependable Systems and Networks (DSN), 2024 54th Annual IEEE/IFIP International Conference on. :483-494 Jun, 2024
Conference
IEEE INFOCOM 2024 - IEEE Conference on Computer Communications Computer Communications, IEEE INFOCOM 2024 - IEEE Conference on. :2398-2407 May, 2024
Academic Journal
In Science of Computer Programming August 2023 230
Academic Journal
In Science of Computer Programming August 2023 230
Academic Journal
Goorden, Martijn A.; Larsen, Kim G.; Nielsen, Jesper E.; Nielsen, Thomas D.; Rasmussen, Michael R.; Srba, Jiřì
In IFAC PapersOnLine 2021 54(5):13-18
Academic Journal
Ferus, Martin; Petera, Lukáš; Koukal, Jakub; Lenža, Libor; Drtinová, Barbora; Haloda, Jakub; Matýsek, Dalibor; Pastorek, Adam; Laitl, Vojtěch; Poltronieri, Renato Cassio; Domingues, Marcelo Wagner; Gonçalves, Gabriel; del Olmo Sato, Rodrigo; Knížek, Antonín; Kubelík, Petr; Křivková, Anna; Srba, Jiří; di Pietro, Carlos Augusto; Bouša, Milan; Vaculovič, Tomáš; Civiš, Svatopluk
In Icarus 1 May 2020 341
Conference
2022 IEEE 11th International Conference on Cloud Networking (CloudNet) Cloud Networking (CloudNet), 2022 IEEE 11th International Conference on. :49-54 Nov, 2022
Conference
Johansen, Nicklas S.; Kar, Lasse B.; Madsen, Andreas L.; Nielsen, Kristian O.; Schmid, Stefan; Srba, Jiri; Tollund, Rasmus G.
2022 IEEE 11th International Conference on Cloud Networking (CloudNet) Cloud Networking (CloudNet), 2022 IEEE 11th International Conference on. :55-60 Nov, 2022
Conference
2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :369-379 Oct, 2022
검색 결과 제한하기
제한된 항목
[AR] Srba, Jiří
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어