Data and Documentation
Open Data Policy
FAQ
EN
DE
FR
Suchbegriff
Advanced search
Project
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
Name
Institute
Ultes-Nitsche Ulrich
Département d'Informatique Université de Fribourg
Employees
Name
Institute
Buchmann David
Jungo Dominik
Menoud Thierry
Associated projects
Number
Title
Start
Funding scheme
108056
VeriNeC(2): verified network configuration (sucessor)
01.07.2005
Project funding
-