VERICOMP 2.0: Unterschied zwischen den Versionen

Aus Kompetenzportal
Wechseln zu: Navigation, Suche
K
Zeile 2: Zeile 2:
 
|Projektleiter=Ekaterina Auer
 
|Projektleiter=Ekaterina Auer
 
|Projektbeginn=2017/11/01
 
|Projektbeginn=2017/11/01
 +
|Projektabschluss=März 2020
 
|ProJahr=Nein
 
|ProJahr=Nein
 
|Mittelgeber=DLR
 
|Mittelgeber=DLR
Zeile 7: Zeile 8:
 
|Fakultät=Fakultät für Ingenieurwissenschaften
 
|Fakultät=Fakultät für Ingenieurwissenschaften
 
|Hyperlink=https://vericomp.fiw.hs-wismar.de/
 
|Hyperlink=https://vericomp.fiw.hs-wismar.de/
|Projektinhalt=Modernisierung und Weiterentwicklung der Plattform VERICOMP zum automatisierten Vergleich verifizierender Anfangswertproblemlöser
+
|Projektinhalt=Modernisierung und Weiterentwicklung der Plattform VERICOMP zum automatisierten Vergleich verifizierender Anfangswertproblemlöser und eines Empfehlungssystems
 
}}
 
}}

Version vom 31. Januar 2020, 20:35 Uhr

VERICOMP 2.0
Projektleitung Ekaterina Auer , Prof. Dr. rer. nat. habil.
Kürzel
Projektbeginn 01. November 2017
Projektabschluss Fehler: Ungültige Zeitangabe
Projektpartner
Projektbeteiligte
Projektmittel
Mittelgeber DLR
Fakultät(en) Fakultät für Ingenieurwissenschaften
Forschungsschwerpunkte(e) IT-Systeme und Medien
Hyperlink https://vericomp.fiw.hs-wismar.de/

Inhalt

Modernisierung und Weiterentwicklung der Plattform VERICOMP zum automatisierten Vergleich verifizierender Anfangswertproblemlöser und eines Empfehlungssystems