Korrekthed af protokoller i ditribuerede systemer - DTU Orbit

‹ Back to search result

Korrekthed af protokoller i ditribuerede systemer

Project: PhD

With the same participants

Autonomous Planning and Scheduling of Mission Operations
Project: PhD
Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
Project: PhD
Computer Based Systems Laboratory
Project
Real-Time Multimedia (RTMM)
Project
Automatisk Verifikation af store systemer
Project: PhD
Højniveau-design af programmel til indlejrede, reaktive systemer
Project: PhD
Syntese af hybride systemer
Project: PhD
Concurrent Objects
Project
Specifikation og verifikation af modulære parallelprogrammer
Project: PhD
Implementering af parallelkomposition
Project: PhD

Søgaard-Andersen, Jørgen F. (Phd Student)
Løvengreen, Hans Henrik (Main Supervisor)

View graph of relations

Status	Completed
Period	01-09-90 → 09-01-95

Financing source	Internal funding (public)
Research programme	Gammel ordning u/skema-SU

ID: 2294757