Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Forschungsprojekt

Verifikationstechniken für Petrinetze auf Multicore-Architektur


Grunddaten

Titel Verifikationstechniken für Petrinetze auf Multicore-Architektur Antragsdatum
Laufzeit 01.04.2012 – 31.03.2014 Freigabe Teilweise freigegeben Nur Eckdaten (Titel, Laufzeit, Förderer) dieses Projektes sind im Internet sichtbar
Bewilligungsdatum   Projektart Forschungsprojekt
Kostenträgernummer   Personenmonate
Projekt-Homepage Änderungsdatum 01.04.2014 02:11:36

Zuordnung zu Einrichtungen

IEF/Bereich Informatik

Personen

Prof. Dr. rer. nat. habil. Karsten Wolf Projektleiter

Förderdaten

Geldgeber/-in Fkennziffer
DFG - Sachbeihilfen WO 1466/16-1

Strukturbaum

Das Projekt wurde 1 mal gefunden: