A. Filieri, C. Ghezzi, G. Tamburrelli - ACM SIGSOFT Distinguished Paper Award: "Run-Time Efficient Probabilistic Model Checking"

Categoria:
Migliore articolo

Area di ricerca:

Linee di ricerca: