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]
No references recorded for this publication.
No citations of this publication recorded.