« October 2017 »
October
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
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.

 

Verisoft

Project description

Beweisen als Ingenieurwissenschaft

Start/End of project

01.07.2003 until 30.06.2007

Contact person

Berit Brauer
Phone:2038247

Partners

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, Universität des Saarlandes, Technische Universität München Universität Koblenz-Landau AbsInt Angewandte Informatik GmbH Infineon Technologies AG OneSpin Solutions GmbH BMW Group Max Planck Institut für Informatik OFFIS T Systems Technische Universität Darmstadt
Personal tools