Project

Back to overview

Formale Beschreibungstechniken, Architektur und Leistungsbewertung für Hochgeschwindigkeitsprotokolle

Applicant Hogrefe Dieter
Number 39158
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Information Technology
Start/End 01.04.1994 - 31.03.1997
Approved amount 430'303.00
Show all

Keywords (10)

HIGH SPEED PROTOCOLS; FORMAL DESCRIPTION; TECHNIQUES; PERFORMANCE EVALUATION; AUTOMATED PARALLELIZAT.; PROTOCOL ENGINEERING; OPTIMIZED PROTOCOL; IMPLEMENTATION; HARDWARE ARCHITECTURE; VALIDATION, VERIFICAT.

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
32211 Formale Beschreibungstechniken, Architektur und Leistungsbewertung für Hochgeschwindigkeitsprotokolle 01.04.1992 Project funding (Div. I-III)

-