Development of communication protocols by composing and refining temporal specifications
- 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.06.2025, 1:53 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jmaiel, Mohamed
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- 1994
Other Objects (12)
Development of communication protocols with algebraic temporal specifications
Composing myself
Composing alternatives
Composing thoughts
Verifying temporal specifications of Java programs
Composing a Life
Synthesizing adaptive test strategies from temporal logic specifications
Specifying communication protocols with temporal logic
Composing for the films
Finite-trace and generalized-reactivity specifications in temporal synthesis
Photoshop CS4 : Composing und Montage
Composing a symphony in JS
Development of communication protocols with algebraic temporal specifications
Composing myself
Composing alternatives
Composing thoughts
Verifying temporal specifications of Java programs
Composing a Life
Synthesizing adaptive test strategies from temporal logic specifications
Specifying communication protocols with temporal logic
Composing for the films
Finite-trace and generalized-reactivity specifications in temporal synthesis
Photoshop CS4 : Composing und Montage
Composing a symphony in JS
Development of communication protocols with algebraic temporal specifications
Composing myself
Composing alternatives
Composing thoughts
Verifying temporal specifications of Java programs
Composing a Life
Synthesizing adaptive test strategies from temporal logic specifications
Specifying communication protocols with temporal logic
Composing for the films
Finite-trace and generalized-reactivity specifications in temporal synthesis
Photoshop CS4 : Composing und Montage