Jun 9, 2020 · Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems.

RWTH Publications - RWTH Publications. ... recid: Record ID. Document types. journal article ... RWTH Aachen (no further subdivision) (21,317). Public Reference ...

Oct 3, 2018 · In this thesis over 50 cylindrical LiFePO4|Graphite cells with a capacity of 8 Ah are analyzed, utilizing several non-destructive methods that ...

Classical room acoustic simulation methods based on the principles of geometrical acous- tics (GA) have nowadays become an accepted and highly developed ...

Oct 18, 2022 · -Math., M.Sc. Impressum Aachen : RWTH Aachen University 2022. Umfang 1 ... URL: https://publications.rwth-aachen.de/record/854667/files/854667.pdf.

May 7, 2021 · This dataset contains time-series data (time, current, voltage, temperature) of a cyclic aging test of 48 lithium-ion battery cells.

May 9, 2023 · While MPI RMA data race detectors exist, they often significantly slow down program execution. This is especially the case for dynamic analysis ...

Aug 3, 2022 · To add symbolic reasoning capability to a connectionist model (either black-box MCAE model or surrogate), a domain-specific knowledge graph (KG) ...