Formal design, co-simulation and validation of a radar signal processing system

Conference Object

Abstract: With the ever increasing complexity in safety-critical and performance-demanding application domains

Palabras claves:

Design methodology, Model checking, Radar, Simulation, Synthesis, system design language

Autores:

Ahlander A., Ingo Sander, Söderquist I., Sundstrom T., Ungureanu G.

Fuentes:

scopus