Dieses Ergebnis aus Springer Nature eBooks kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Systems Security Modeling and Analysis at IMT Lucca

Title:	Systems Security Modeling and Analysis at IMT Lucca
Authors:	Costa, Gabriele^Aff9; De Francisci, Silvia^Aff9; Galletta, Letterio^Aff9; Brogi, Cosimo Perini^Aff9; Petrocchi, Marinella^{Aff9, Aff10}; Pinelli, Fabio^Aff9; Pizziol, Roberto^Aff9; Pratelli, Manuel^Aff9; Renieri, Margherita^Aff9; Soderi, Simone^Aff9; Tribastone, Mirco^Aff9; Valiani, Serenella^Aff9
Contributors:	Goos, Gerhard, Series Editor^Aff1; Hartmanis, Juris, Founding Editor^Aff2; Bertino, Elisa, Editorial Board Member^Aff3; Gao, Wen, Editorial Board Member^Aff4; Steffen, Bernhard, Editorial Board Member^{Aff5, Aff8}; Yung, Moti, Editorial Board Member^Aff6; Margaria, Tiziana, editor^Aff7
Source:	Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I. 15219:13-26
Database:	Springer Nature eBooks