Josef Strnadel. Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking. In 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022. pages 88-93, IEEE, 2022. [doi]
Abstract is missing.