![Federico MARI | Assistant Professor | Ph.D. Computer Science 2010 | Italian University of Sport and Movement "Foro Italico", Rome | Department of Movement, Human and Health Sciences Federico MARI | Assistant Professor | Ph.D. Computer Science 2010 | Italian University of Sport and Movement "Foro Italico", Rome | Department of Movement, Human and Health Sciences](https://i1.rgstatic.net/ii/profile.image/272479159582749-1441975502557_Q512/Federico-Mari-2.jpg)
Federico MARI | Assistant Professor | Ph.D. Computer Science 2010 | Italian University of Sport and Movement "Foro Italico", Rome | Department of Movement, Human and Health Sciences
![Anytime system level verification via parallel random exhaustive hardware in the loop simulation - ScienceDirect Anytime system level verification via parallel random exhaustive hardware in the loop simulation - ScienceDirect](https://ars.els-cdn.com/content/image/1-s2.0-S0141933115002045-fx4.jpg)
Anytime system level verification via parallel random exhaustive hardware in the loop simulation - ScienceDirect
![Federico MARI | Assistant Professor | Ph.D. Computer Science 2010 | Italian University of Sport and Movement "Foro Italico", Rome | Department of Movement, Human and Health Sciences Federico MARI | Assistant Professor | Ph.D. Computer Science 2010 | Italian University of Sport and Movement "Foro Italico", Rome | Department of Movement, Human and Health Sciences](https://i1.rgstatic.net/ii/profile.image/1057397518897154-1629114622710_Q64/Toni-Mancini.jpg)