Avviso di procedura per il conferimento di un incarico individuale di collaborazione occasionale presso il Dipartimento di Automatica e Informatica per lo svolgimento di attivitą di progettazione di un framework per il testing automatizzato di proprietą di sicurezza per componenti automotive