المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.

المساهمون: Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.

مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32257-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32258-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000570007800057; ispartofbook:Studies in Computational Intelligence; 13th International Symposium on Intelligent Distributed Computing, IDC 2019; volume:868; firstpage:485; lastpage:494; numberofpages:10; serie:STUDIES IN COMPUTATIONAL INTELLIGENCE; http://hdl.handle.net/11568/1047733Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299

الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11568/1047733Test

المؤلفون: Casolare R., Martinelli F., Mercaldo F., Nardone V., Santone A.

المساهمون: Advances in Intelligent Systems and Computing, Casolare, R., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A.

مصطلحات موضوعية: Android, Colluding, Formal method, Malware, Model checking

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-44037-4; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-44038-1; ispartofbook:Advances in Intelligent Systems and Computing; Workshops of the 34th International Conference on Advanced Information Networking and Applications, WAINA 2020; volume:1150; firstpage:776; lastpage:786; numberofpages:11; serie:ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING; http://hdl.handle.net/11695/107195Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85084009138

الإتاحة: https://doi.org/10.1007/978-3-030-44038-1_71Test
http://hdl.handle.net/11695/107195Test

المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.

المساهمون: 13th International Symposium on Intelligent Distributed Computing, Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.

مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32257-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32258-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000570007800057; ispartofbook:Studies in Computational Intelligence; 13th International Symposium on Intelligent Distributed Computing, IDC 2019; volume:868; firstpage:485; lastpage:494; numberofpages:10; serie:STUDIES IN COMPUTATIONAL INTELLIGENCE; http://hdl.handle.net/11695/90571Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299; http://wwwTest.springer.com/series/7092

الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11695/90571Test
http://wwwTest.springer.com/series/7092

المؤلفون: Schlick, Rupert, Felderer, Michael, Majzik, Istvan, Nardone, Roberto, Raschke, Alexander, Snook, Colin, Vittorini, Valeria

العلاقة: Schlick, Rupert, Felderer, Michael, Majzik, Istvan, Nardone, Roberto, Raschke, Alexander, Snook, Colin and Vittorini, Valeria (2018) A proposal of an example and experiments repository to foster industrial adoption of formal methods. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. vol. 11247 LNCS, Springer. pp. 249-272 . (doi:10.1007/978-3-030-03427-6_20 ).

الإتاحة: https://doi.org/10.1007/978-3-030-03427-6_20Test
https://eprints.soton.ac.uk/426545Test/

المؤلفون: Niebling, Julia, Baasch, Benjamin, Kruspe, Anna

المساهمون: Bernardi, Simona, Vittorini, Valeria, Flammini, Francesco, Nardone, Roberto, Marrone, Stefano, Adler, Rasmus, Schneider, Daniel, Schleiß, Philipp, Nostro, Nicola, Løvenstein Olsen, Rasmus, Di Salle, Amleto, Masci, Paolo

مصطلحات موضوعية: Institut für Datenwissenschaften, Institut für Verkehrssystemtechnik

وصف الملف: application/pdf

العلاقة: https://elib.dlr.de/136375/1/hafenbahn.pdfTest; Niebling, Julia und Baasch, Benjamin und Kruspe, Anna (2020) Analysis of Railway Track Irregularities with Convolutional Autoencoders and Clustering Algorithms. In: 16th European Dependable Computing Conference, EDCC 2020, 1279, Seiten 78-89. Springer. AI4RAILS 2020, 2020-09-07, Munich. doi:10.1007/978-3-030-58462-7_7 . ISBN 978-3-030-58461-0. ISSN 1865-0929.

الإتاحة: https://doi.org/10.1007/978-3-030-58462-7_7Test
https://elib.dlr.de/136375Test/
https://elib.dlr.de/136375/1/hafenbahn.pdfTest