( en | de | ru )

 

Disambiguierung von "Budde, Carlos E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Statistical Model Checking for Cybersecurity Analysis.

. CyberSec4Europe, Volume 1807 von Communications in Computer and Information Science, Seite 16-32. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fabian Budde

Klaus Budde

Ottilie Budde

Otto Budde

Joachim Budde

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis., , und . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (September 2023)A compositional semantics for Repairable Fault Trees with general distributions., , und . LPAR, Volume 73 von EPiC Series in Computing, Seite 354-372. EasyChair, (2020)Compositional Construction of Importance Functions in Fully Automated Importance Splitting., , und . VALUETOOLS, ACM, (2016)Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters., , und . CoRR, (2022)Using Statistical Model Checking for Cybersecurity Analysis.. CyberSec4Europe, Volume 1807 von Communications in Computer and Information Science, Seite 16-32. Springer, (2022)Automated compositional importance splitting., , und . Sci. Comput. Program., (2019)FIG: the Finite Improbability Generator v1.3.. SIGMETRICS Perform. Evaluation Rev., 49 (4): 59-64 (2022)Lévy decoupled random walks, , und . Physica A: Statistical Mechanics and its Applications, (15.05.2003)Consolidating cybersecurity in Europe: A case study on job profiles assessment., , , , und . Comput. Secur., (April 2023)A Maturity Assessment Model for Cyber Security Education in Europe., und . World Conference on Information Security Education, Volume 650 von IFIP Advances in Information and Communication Technology, Seite 60-74. Springer, (2022)