Paeon related scientific publications in international conferences and journals.
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocessors and Microsystems 41 (2016): 12–28. ISSN: 0141-9331. | |
S. Sinisi. Computing Patient-Specific Biological Models for Personalised Medicine via Model Checking Driven Simulation. Master Degree Thesis, Computer Science Department, Sapienza University of Rome (2016). |