Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking.

Josef Strnadel

Browse the full DDECS paper archive.