Schivo, Stefano

Schivo, Stefano  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Approximate Model Checking of Stochastic COWS 1-gen-2010 Quaglia, PaolaSchivo, Stefano
FFORT: A Benchmark Suite for Fault Tree Analysis 1-gen-2019 Carlos E. BuddeSchivo S. +
Quantitative Analysis of Services 1-gen-2011 Cappello, IgorQuaglia, PaolaSchivo, Stefano +
Statistical Model Checking of Web Services 1-gen-2010 Schivo, Stefano
Validation of CFS classification with different data soures 1-gen-2006 Giordani, AlessandraSchivo, StefanoSegata, NicolaAndritsos, PeriklisMalossini, AndreaBlanzieri, Enrico +