Formelle metoder til udvikling af parallelle systemer - DTU Orbit

‹ Back to search result

Formelle metoder til udvikling af parallelle 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

Grønning, Peter (Phd Student)
Løvengreen, Hans Henrik (Main Supervisor)

View graph of relations

Status	Completed
Period	01-02-90 → 28-01-97

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

ID: 2299049