Detailseite
Institution
Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet Theoretische Informatik/ Formale Spezifikation
- Sachbeihilfen
- abgeschlossene Projekte
- Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken(Antragstellerinnen / Antragsteller Ehrig, Hartmut ; Padberg, Julia )
- Verhaltens-Simulation und Äquivalenz von Systemen modelliert durch Graphtransformation(Antragstellerinnen / Antragsteller Ehrig, Hartmut ; König, Barbara )
- abgeschlossene Projekte
- Schwerpunktprogramme
- Forschungsgruppen
