« June 2017 »
June
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930
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-I

Project description

Entwicklung eines verifizierten Funkprotokolls für sichere Sensornetzwerke - Sicherheit durch formale modellbasierte Methoden

Start/End of project

01.09.2009 until 31.08.2011

Project manager

Prof. Dr. Andreas Podelski

Contact person

Berit Brauer
Phone:2038247

Partners

SeCa GmbH

Funding

BMWi
Personal tools