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]
@inproceedings{Strnadel22,
title = {Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking},
author = {Josef Strnadel},
year = {2022},
doi = {10.1109/DDECS54261.2022.9770166},
url = {https://doi.org/10.1109/DDECS54261.2022.9770166},
researchr = {https://researchr.org/publication/Strnadel22},
cites = {0},
citedby = {0},
pages = {88-93},
booktitle = {25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022},
publisher = {IEEE},
isbn = {978-1-6654-9431-1},
}