VERICOMP 2.0

Aus Kompetenzportal
Version vom 10. Mai 2019, 15:44 Uhr von Aueeka (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Projekt |Projektleiter=Ekaterin Auer |Projektbeginn=2017/11/01 |ProJahr=Nein |Mittelgeber=DLR |Forschungsschwerpunkt=IT-Systeme und Medien |Fakultät=Fakult…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche
VERICOMP 2.0
Projektleitung Ekaterin Auer ,
Kürzel
Projektbeginn 01. November 2017
Projektabschluss noch unbekannt
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