direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • 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.

  • Artikel akzeptiert

    Artikel "Deriving Trust from Experience" akzeptiert für FAST2009 (Co-Autoren Florian Eilers, Uwe Nestmann)

  • tubs.city Symposium - Eingeladener Vortrag

    Eingeladener Vortrag von Uwe Nestmann zum Thema "Asynchronous Communication in Process Calculi" beim Workshop Synchrony and Asynchrony in Distribiuted Systems des tubs.city Symposiums.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe