Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme

1. Verfasser:

Trescher, Joachim

Format:

Abschlussarbeit Buch Dissertation

Sprache:

Deutsch

Veröffentlicht:

München [u.a.] Oldenbourg 1996

Bestände:

• Geb. 25.22 1. Etage: mats.g300(257)

Umfang:

X, 206 S. : graph. Darst.

Anmerkungen:

Berlin, Techn. Univ., Diss., 1995

Schriftenreihe:

GMD-Berichte ; 257

ISBN:

3486238396

Schlagworte:

Echtzeitsystem

Verteiltes System

Paralleler Prozess

Formale Spezifikationstechnik

Links:

Wird geladen...