Development of communication protocols by composing and refining temporal specifications

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
29 cm
Extent
20 Bl.
Language
Deutsch
Notes
Literaturverz. Bl. 18 - 20

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

Event
Veröffentlichung
(where)
Berlin
(who)
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
(when)
1994
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:05 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 1994

Other Objects (12)

Development of communication protocols with algebraic temporal specifications

Hochschulschrift

Development of communication protocols with algebraic temporal specifications

Specifying communication protocols with temporal logic

Specifying communication protocols with temporal logic

Composing myself

Composing myself

Composing thoughts

Composing thoughts

Synthesizing adaptive test strategies from temporal logic specifications

Synthesizing adaptive test strategies from temporal logic specifications

Composing a Life

Buch

Composing a Life

Fischer-Tropsch refining

Fischer-Tropsch refining

Refining ideal behaviours

Refining ideal behaviours

Refining safety code

Refining safety code

Composing for the films

Composing for the films

An algorithm for the real-time evaluation of temporal trace specifications

Hochschulschrift

An algorithm for the real-time evaluation of temporal trace specifications

Professionelle Bildcollagen erstellen : [digital composing]

Anleitung

Professionelle Bildcollagen erstellen : [digital composing]

Related objects