( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
BFL: a Logic to Reason about Fault Trees.

, , и . DSN, стр. 441-452. IEEE, (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.

Elena Nicoletti

Antonella Nicoletti

Cecilia Nicoletti

Maria Nicoletti

Norberto Juan Nicoletti

 

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

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry., , и . CoRR, (2024)sfATM: A Logic for Quantitative Security Properties on Attack Trees., , , и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 205-225. Springer, (2023)The Marriage Between Safety and Cybersecurity: Still Practicing., , , , и . SPIN, том 12864 из Lecture Notes in Computer Science, стр. 3-21. Springer, (2021)Solving Queries for Boolean Fault Tree Logic via Quantified SAT., , , , и . FTSCS, стр. 48-59. ACM, (2023)PFL: a Probabilistic Logic for Fault Trees., , , и . CoRR, (2023)BFL: a Logic to Reason about Fault Trees., , и . DSN, стр. 441-452. IEEE, (2022)Model-based Safety and Security Co-analysis: a Survey., , , и . CoRR, (2021)sfPFL: A Probabilistic Logic for Fault Trees., , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 199-221. Springer, (2023)Querying Fault and Attack Trees: Property Specification on a Water Network., , , и . CoRR, (2024)Model-based joint analysis of safety and security:Survey and identification of gaps., , , и . Comput. Sci. Rev., (ноября 2023)