%0 Book Section %1 series/lncs/Troubitsyna24 %A Troubitsyna, Elena %B The Practice of Formal Methods (II) %D 2024 %E Cavalcanti, Ana %E Baxter, James %I Springer %K dblp %P 141-161 %T Formal Analysis of Interactions Between Safety and Security Requirements. %U http://dblp.uni-trier.de/db/series/lncs/lncs14781.html#Troubitsyna24 %V 14781 %@ 978-3-031-66673-5

@incollection{series/lncs/Troubitsyna24, added-at = {2025-03-26T00:00:00.000+0100}, author = {Troubitsyna, Elena}, biburl = {https://www.bibsonomy.org/bibtex/256d73e0dea50acc578de2c7fa70216e1/dblp}, booktitle = {The Practice of Formal Methods (II)}, crossref = {series/lncs/14781}, editor = {Cavalcanti, Ana and Baxter, James}, ee = {https://doi.org/10.1007/978-3-031-66673-5_8}, interhash = {4ac6d0fe82f1c7e280312cfbb192ea43}, intrahash = {56d73e0dea50acc578de2c7fa70216e1}, isbn = {978-3-031-66673-5}, keywords = {dblp}, pages = {141-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2025-04-01T20:53:05.000+0200}, title = {Formal Analysis of Interactions Between Safety and Security Requirements.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs14781.html#Troubitsyna24}, volume = 14781, year = 2024 }