%0 Conference Paper %1 conf/cybersec4europe/Budde22 %A Budde, Carlos E. %B CyberSec4Europe %D 2022 %E Skarmeta, Antonio F. %E Canavese, Daniele %E Lioy, Antonio %E Matheu, Sara Nieves %I Springer %K dblp %P 16-32 %T Using Statistical Model Checking for Cybersecurity Analysis. %U http://dblp.uni-trier.de/db/conf/cybersec4europe/cybersec4europe2022.html#Budde22 %V 1807 %@ 978-3-031-36096-1

@inproceedings{conf/cybersec4europe/Budde22, added-at = {2023-07-07T00:00:00.000+0200}, author = {Budde, Carlos E.}, biburl = {https://www.bibsonomy.org/bibtex/22d172d53a6dd45c22df7a9f588c51512/dblp}, booktitle = {CyberSec4Europe}, crossref = {conf/cybersec4europe/2022}, editor = {Skarmeta, Antonio F. and Canavese, Daniele and Lioy, Antonio and Matheu, Sara Nieves}, ee = {https://doi.org/10.1007/978-3-031-36096-1_2}, interhash = {1d6f7e8d1323ebf8569a66401312544a}, intrahash = {2d172d53a6dd45c22df7a9f588c51512}, isbn = {978-3-031-36096-1}, keywords = {dblp}, pages = {16-32}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T00:58:05.000+0200}, title = {Using Statistical Model Checking for Cybersecurity Analysis.}, url = {http://dblp.uni-trier.de/db/conf/cybersec4europe/cybersec4europe2022.html#Budde22}, volume = 1807, year = 2022 }