Carlos E. Budde. Using Statistical Model Checking for Cybersecurity Analysis. In Antonio F. Skarmeta, Daniele Canavese, Antonio Lioy, Sara Nieves Matheu, editors, Digital Sovereignty in Cyber Security: New Challenges in Future Vision - First International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022, Revised Selected Papers. Volume 1807 of Communications in Computer and Information Science, pages 16-32, Springer, 2022. [doi]
@inproceedings{Budde22-0, title = {Using Statistical Model Checking for Cybersecurity Analysis}, author = {Carlos E. Budde}, year = {2022}, doi = {10.1007/978-3-031-36096-1_2}, url = {https://doi.org/10.1007/978-3-031-36096-1_2}, researchr = {https://researchr.org/publication/Budde22-0}, cites = {0}, citedby = {0}, pages = {16-32}, booktitle = {Digital Sovereignty in Cyber Security: New Challenges in Future Vision - First International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022, Revised Selected Papers}, editor = {Antonio F. Skarmeta and Daniele Canavese and Antonio Lioy and Sara Nieves Matheu}, volume = {1807}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-031-36096-1}, }