( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

, , , , и . FMICS, том 14290 из Lecture Notes in Computer Science, стр. 205-223. Springer, (2023)

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.

Marco Milan

Gabriele Milanovic

Alessandra Milandri

Thomas L Milani

Florence Marie Milan

 

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

Attack time analysis in dynamic attack trees via integer linear programming., и . CoRR, (2021)Efficient and Generic Algorithms for Quantitative Attack Tree Analysis., , и . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (сентября 2023)ATM: a Logic for Quantitative Security Properties on Attack Trees., , , и . CoRR, (2023)Fuzzy quantitative attack tree analysis., , и . FASE, том 14573 из Lecture Notes in Computer Science, стр. 210-231. Springer, (2024)Consistent and Accurate Frequency Oracles under Local Differential Privacy., , , , и . CoRR, (2019)Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus., , , и . CoRR, (2023)Improving Frequency Estimation under Local Differential Privacy., , , и . WPES@CCS, стр. 123-135. ACM, (2020)PFL: a Probabilistic Logic for Fault Trees., , , и . CoRR, (2023)Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming., и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 165-183. Springer, (2023)The Privacy Funnel from the viewpoint of Local Differential Privacy.. CoRR, (2020)