On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking.

Josef Strnadel

Browse the full DSD paper archive.