Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Josef Strnadel' in Google

runs on WebDSL