Working paper and research report, TH Köln, 2026: functional equivalence in retrofitted anti-skid systems. LaTeX sources of the paper, the report and the slides, the traceability data with its checks, errata and the version of record.
latex fpga simulation vhdl stm32 embedded-systems open-access railway research-paper safety-critical functional-safety hardware-verification th-koeln research-report verification-validation wheel-slide-protection
-
Updated
Oct 9, 2026 - TeX