Back to overview

VeriNeC(2): verified network configuration (sucessor)

English title VeriNeC(2): verified network configuration (sucessor)
Applicant Ultes-Nitsche Ulrich
Number 108056
Funding scheme Project funding
Research institution Département d'Informatique Université de Fribourg
Institution of higher education University of Fribourg - FR
Main discipline Information Technology
Start/End 01.07.2005 - 30.06.2007
Approved amount 180'680.00
Show all

Keywords (6)

network configuration; XML specifications; simulation; verification; automatic translation; network engineering / XSLT

Responsible applicant and co-applicants


Associated projects

Number Title Start Funding scheme
100645 VeriNeC: Verified Network Configuration 01.07.2003 Project funding