Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
