Davide D'Aprile

Followers

Following

Public Views

Università degli Studi di Torino

Brandenburg University of Technology Cottbus-Senftenberg

Università degli Studi di Milano - State University of Milan (Italy)

Università degli Studi di Firenze (University of Florence)

RWTH Aachen University

Interests

Uploads

Logic (CSL) properties have been introduced to facilitate the verification of stochastic systems ... more

Logic (CSL) properties have been introduced to facilitate the verification of stochastic systems ... more