Development of communication protocols by composing and refining temporal specifications

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
29 cm
Umfang
20 Bl.
Sprache
Deutsch
Anmerkungen
Literaturverz. Bl. 18 - 20

Erschienen in
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. [19]94,25

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
(wann)
1994
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:53 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1994

Ähnliche Objekte (12)

Development of communication protocols with algebraic temporal specifications

Hochschulschrift

Development of communication protocols with algebraic temporal specifications

Composing myself

Composing myself

Composing alternatives

Composing alternatives

Composing thoughts

Composing thoughts

Verifying temporal specifications of Java programs

Verifying temporal specifications of Java programs

Composing a Life

Buch

Composing a Life

Synthesizing adaptive test strategies from temporal logic specifications

Synthesizing adaptive test strategies from temporal logic specifications

Specifying communication protocols with temporal logic

Specifying communication protocols with temporal logic

Composing for the films

Composing for the films

Finite-trace and generalized-reactivity specifications in temporal synthesis

Finite-trace and generalized-reactivity specifications in temporal synthesis

Photoshop CS4 : Composing und Montage

Photoshop CS4 : Composing und Montage

Composing a symphony in JS

zweidimensionales bewegtes Bild

Composing a symphony in JS

Verbundene Objekte