Formal Design, Co-Simulation and Validation of a Radar Signal Processing System

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]

@inproceedings{UngureanuSASS19,
  title = {Formal Design, Co-Simulation and Validation of a Radar Signal Processing System},
  author = {George Ungureanu and Timmy Sundström and Anders Åhlander and Ingo Sander and Ingemar Söderquist},
  year = {2019},
  doi = {10.1109/FDL.2019.8876905},
  url = {https://doi.org/10.1109/FDL.2019.8876905},
  researchr = {https://researchr.org/publication/UngureanuSASS19},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019},
  editor = {Tom J. Kazmierski and Reinhard von Hanxleden and Terrence S. T. Mak},
  publisher = {IEEE},
  isbn = {978-1-7281-4113-8},
}