George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist. Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. In Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak, editors, 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.