Automatic analysis of DIFC systems using noninterference with declassification
Li, Wenfa ; Yang, Zhi ; Liu, Jia
- Link zu diesem Datensatz
- https://d-nb.info/1248466292
- Titel
- Automatic analysis of DIFC systems using noninterference with declassification
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Wenfa Li, Zhi Yang, Jia Liu
- Autor(en)
-
- Li, Wenfa
- Yang, Zhi
- Liu, Jia
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2021
- Umfang/Format
- Online-Ressource
- ISSN
14333058- DOI
- 10.1007/s00521-021-06334-7
- Online
- https://doi.org/10.1007/s00521-021-06334-7
- Sprache
- eng
- Schlagwörter
-
- (lcsh)Mathematical statistics.
- (lcsh)Data mining.
- (lcsh)Image processing.
- (lcsh)Bioinformatics.
- (lcsh)Computer mathematics.
- Artificial Intelligence.
- Data Mining and Knowledge Discovery.
- Probability and Statistics in Computer Science.
- Computational Science and Engineering.
- Image Processing and Computer Vision.
- Computational Biology/Bioinformatics.
- Frühere/spätere Titel
-
- Enthalten in: Neural computing & applications
- Enthalten in: Neural computing & applications
- Enthalten in: Neural computing & applications
- Stand
- 28.12.2021 21:38
- Im Katalog seit
- 07.03.2026