direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • ETAPS 2010 - Eingeladenes Tutorial

    Eingeladenes Tutorial von Uwe Nestmann zum Thema "The DisCoVeri continues ... (On the Application of Concurrency Theory to Fault-Tolerant Distributed Algorithms)" bei ETAPS 2010.

  • IFIP WG 1.8 Meeting 2009 - Co-Organisation

    Workshop on Formal Methods for Embedded Systems der IFIP WG 1.8 Concurrency Theory, co-organisiert durch Uwe Nestmann in Eindhoven (NL) während der Formal Methods Week.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe