Back to overview

VeriNeC: Verified Network Configuration

English title VeriNeC: Verified Network Configuration
Applicant Ultes-Nitsche Ulrich
Number 100645
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.2003 - 30.06.2005
Approved amount 156'516.00
Show all

Keywords (7)

network configuration; XML specification; simulation; verification; automatic translation; network design editing; XSL transformations

Responsible applicant and co-applicants


Associated projects

Number Title Start Funding scheme
108056 VeriNeC(2): verified network configuration (sucessor) 01.07.2005 Project funding