direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Artikel akzeptiert (IFIP TCS 2012)

    Artikel "Formal Verification of Distributed Algorithms – From Pseudo Code to Checked Proofs" akzeptiert für IFIP TCS 2012 (Co-Autoren Philipp Küfner, Uwe Nestmann, Christina Rickmann)

  • Artikel akzeptiert (TLA 2012)

    Artikel "Automated Generation of Refinement Mappings" akzeptiert für TLA 2012 (Co-Autoren Paul-David Brodmann, Hannes Lau, Uwe Nestmann)

  • METHOD 2012 - Programmkommittee

    Uwe Nestmann wurde zum Programmkommittee des"1st IEEE International Workshop on Methods for Establishing Trust with Open Data" (METHOD 2012) eingeladen.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe