|
ZIM V - Kooperationsprojekt
Projektbeschreibung:
Skalierbare Sensornetzwerk-Systeme als Varianten einer Produktlinie; Formale Modellierung und Analyse von Protokoll-Produktlinien
Ansprechpartner: Berit Brauer
Tel: 2038247
Email: brauer@informatik.uni-freiburg.de
Projektlaufzeit:
Projektbeginn: 2017 Projektende: 2018
Projektleitung:
Prof. Dr. Andreas Podelski
Albert-Ludwigs-Universität Freiburg
Professur für Softwaretechnik Prof. Dr. Andreas Podelski Georges-Köhler-Allee 52 79110 Freiburg
Telefon: 8241 Fax: 8242 Email: podelski@informatik.uni-freiburg.de
http://swt.informatik.uni-freiburg.de/
Mitarbeiter:
Finanzierung:
Aktueller Forschungsbericht
|