( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Statistical Model Checking for Cybersecurity Analysis.

. CyberSec4Europe, том 1807 из Communications in Computer and Information Science, стр. 16-32. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael Budde

Joseph Budde

Enno Budde

Rolf Budde

Gottfried Budde

 

Другие публикации лиц с тем же именем

Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters., , и . CoRR, (2022)A compositional semantics for Repairable Fault Trees with general distributions., , и . LPAR, том 73 из EPiC Series in Computing, стр. 354-372. EasyChair, (2020)Compositional Construction of Importance Functions in Fully Automated Importance Splitting., , и . VALUETOOLS, ACM, (2016)Efficient and Generic Algorithms for Quantitative Attack Tree Analysis., , и . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (сентября 2023)Using Statistical Model Checking for Cybersecurity Analysis.. CyberSec4Europe, том 1807 из Communications in Computer and Information Science, стр. 16-32. Springer, (2022)The Dynamic Fault Tree Rare Event Simulator., , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 233-238. Springer, (2020)Diffusion in fluctuating media: resonant activation, , и . Physica A: Statistical Mechanics and its Applications, 342 (1-2): 1--8 (15.10.2004)Marginal distribution of non-Markovian stochastic processes with internal states, и . Physica A: Statistical and Theoretical Physics, 153 (2): 326--340 (15.11.1988)The continuous-time resolvent matrix for non-markovian chains, и . Physica A: Statistical and Theoretical Physics, 153 (2): 315--325 (15.11.1988)Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems., , , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2020)