guest ::
First three years of the international verification of neural networks competition (VNN-COMP)
; ; ; ;
In
International journal on software tools for technology transfer : STTT 25, Seiten/Artikel-Nr.:329-339
2023
Online
DOI: 10.18154/RWTH-2023-06212
DOI: 10.1007/s10009-023-00703-4
URL: https://publications.rwth-aachen.de/record/960369/files/960369.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85148278759
WOS Core Collection: WOS:000998184400001
Interne Identnummern
RWTH-2023-06212
Datensatz-ID: 960369
Beteiligte Länder
Germany, Switzerland, USA
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; DEAL Springer ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
| Typ | Amount | VAT | Currency | Share | Status | Cost centre |
| Hybrid-OA | 1528.55 | 0.00 | EUR | 100.00 % | (DEAL) | |
| Sum | 1528.55 | 0.00 | EUR | |||
| Total | 1528.55 |
PDF