« March 2017 »
March
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Uni-Logo
You are here: Home Research Data Base Projects
Document Actions

Projects

This page is constructed automatically from the official research data base of the University of Freiburg.  This data base is likely to be out of date. If in doubt, please contact swtsecr@informatik.uni-freiburg.de.

 

ZIM IV - Kooperationsprojekt

Project description

Energie-effizientes Adhoc Netzwerk mit Selbstüberwachung und Zeitgarantie; Einsatz von formalen Methoden für die Modellierung und Analyse eines Funkprotokolls für Adhoc-Netzwerke mit Selbstüberwachung und Zeitgarantien

Start/End of project

01.01.2015 until 31.12.2016

Project manager

Prof. Dr. Andreas Podelski

Contact person

Berit Brauer
Phone:2038247

Partners

SeCa GmbH Security Care

Funding

BMWi
Personal tools