المؤلفون: Stock, Gregory, Fraire, Juan A., Henn, Santiago, Hermanns, Holger, Schmidt, Andreas

المصدر: 2024 IEEE International Conference on Communications Workshops (ICC Workshops) Communications Workshops (ICC Workshops), 2024 IEEE International Conference on. :1708-1713 Jun, 2024

Relation: 2024 IEEE International Conference on Communications Workshops (ICC Workshops)

المؤلفون: Köhl, Maximilian A., Dubslaff, Clemens, Hermanns, Holger

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2408.17368

المؤلفون: Hermanns, Holger, Lauber-Rönsberg, Anne, Meinel, Philip, Sterz, Sarah, Zhang, Hanwei

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Artificial Intelligence, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2408.01449

المؤلفون: Zhang, Hanwei, Cheng, Luo, He, Qisong, Huang, Wei, Li, Renjue, Sicre, Ronan, Huang, Xiaowei, Hermanns, Holger, Zhang, Lijun

مصطلحات موضوعية: Computer Science - Computer Vision and Pattern Recognition, Electrical Engineering and Systems Science - Image and Video Processing

URL الوصول: http://arxiv.org/abs/2405.14210

المؤلفون: Sterz, Sarah, Baum, Kevin, Biewer, Sebastian, Hermanns, Holger, Lauber-Rönsberg, Anne, Meinel, Philip, Langer, Markus

مصطلحات موضوعية: Computer Science - Computers and Society

URL الوصول: http://arxiv.org/abs/2404.04059

المؤلفون: Biewer, Sebastian^{Aff1, IDs10703024004452_cor1}, Baum, Kevin^{Aff1, Aff2, Aff3, IDs10703024004452_cor2}, Sterz, Sarah^{Aff1, IDs10703024004452_cor3}, Hermanns, Holger, Hetmank, Sven, Langer, Markus, Lauber-Rönsberg, Anne, Lehr, Franz

المصدر: Formal Methods in System Design: An International Journal. :1-50

المؤلفون: Biewer, Sebastian, Baum, Kevin, Sterz, Sarah, Hermanns, Holger, Hetmank, Sven, Langer, Markus, Lauber-Rönsberg, Anne, Lehr, Franz

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2308.06186

المؤلفون: Stock, Gregory, Fraire, Juan A., Hermanns, Holger

المصدر: 2022 11th Advanced Satellite Multimedia Systems Conference and the 17th Signal Processing for Space Communications Workshop (ASMS/SPSC) Advanced Satellite Multimedia Systems Conference and the 17th Signal Processing for Space Communications Workshop (ASMS/SPSC), 2022 11th. :1-8 Sep, 2022

Relation: 2022 11th Advanced Satellite Multimedia Systems Conference and the 17th Signal Processing for Space Communications Workshop (ASMS/SPSC)

المؤلفون: Husung, Nils^Aff3, Dubslaff, Clemens^Aff4, Hermanns, Holger^Aff3, Köhl, Maximilian A.^Aff3

المساهمون: Finkbeiner, Bernd, editor^Aff1, Kovács, Laura, editor^Aff2

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:255-275

المؤلفون: Hermanns, Holger, Krčál, Jan, Nies, Gilles

المصدر: Leibniz Transactions on Embedded Systems, Vol 4, Iss 1, Pp 04:1-04:28 (2017)

مصطلحات موضوعية: battery power, depletion risk, bounded charging and discharging, stochastic load, distribution bounds, Technology, Electrical engineering. Electronics. Nuclear engineering, TK1-9971, Electronics, TK7800-8360

وصف الملف: electronic resource

Relation: https://drops.dagstuhl.de/storage/07lites/lites_vol004/lites_vol003_issue001/LITES-v004-i001-a004/LITES-v004-i001-a004.pdf; https://doaj.org/toc/2199-2002

URL الوصول: https://doaj.org/article/8aac75c4ce7e4eb799bd5ac0b8a19ed3