> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Bridging the Gap Between AI and Reality: Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment Beteiligte: Kirov, Dmitrii; Rollini, Simone Fulvio; Di Guglielmo, Luigi; Cofer, Darren Erschienen: Springer Nature Switzerland, 2024 Erschienen in: Bridging the Gap Between AI and Reality (2024), Seite 225-240 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-031-46002-9_13 ISBN: 9783031460012; 9783031460029 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: