direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content


The acronym and the above name of this reseach unit arise from a variation of its German name. To associate it to English terms, let M stand for models or mathematicsT for theory and V for verification. A corresponding title may thus be Models, Theories and Verification for Concurrent and Distributed Computation. On the other hand, we also like the term Applied Formal Semantics to describe our interests. Get more information from Mission & Vision.


no news in this list.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions