Ingegneria di verifica e validazione di sistemi embedded complessi. Analisi con MATLAB/Simulink, strumenti MathWorks e conformità normativa.