NET : a family of Languages - based on nets - designed for specification of communication systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
130 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Arbeitspapiere der GMD / Gesellschaft für Mathematik und Datenverarbeitung ; 205
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin, Darmstadt
- (wer)
-
GMD
- (wann)
-
1986
- 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, 14:05 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Orth, Wolfgang
- Eckert, Hans
- Paule, Christa
- GMD
Entstanden
- 1986
Ähnliche Objekte (12)
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
FORTRAN lexical analysis specification
Modelling information systems and database systems by Petri nets
Design methods based on nets, [...]. Final report / Eike Best (ed.)
Specification and implementation of asynchronous process communication
Lecture notes on hardware description languages : introd.
Applicability of formal description techniques for test specification
Secure DFN : principles of security operations and specification of security interfaces
Technical annex for the ESPRIT basic research action 3148, Design methods based on nets (DEMON)
Praxisbericht einer Systemeinführung aus Sicht von Managern, Betroffenen und Entwicklern, [...]. Der Fall A
SNAPAD system, Version 2.0.
Grundlagen der VLSI-Technik, 1
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
FORTRAN lexical analysis specification
Modelling information systems and database systems by Petri nets
Design methods based on nets, [...]. Final report / Eike Best (ed.)
Specification and implementation of asynchronous process communication
Lecture notes on hardware description languages : introd.
Applicability of formal description techniques for test specification
Secure DFN : principles of security operations and specification of security interfaces
Technical annex for the ESPRIT basic research action 3148, Design methods based on nets (DEMON)
Praxisbericht einer Systemeinführung aus Sicht von Managern, Betroffenen und Entwicklern, [...]. Der Fall A
SNAPAD system, Version 2.0.
Grundlagen der VLSI-Technik, 1
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
FORTRAN lexical analysis specification
Modelling information systems and database systems by Petri nets
Design methods based on nets, [...]. Final report / Eike Best (ed.)
Specification and implementation of asynchronous process communication
Lecture notes on hardware description languages : introd.
Applicability of formal description techniques for test specification
Secure DFN : principles of security operations and specification of security interfaces
Technical annex for the ESPRIT basic research action 3148, Design methods based on nets (DEMON)
Praxisbericht einer Systemeinführung aus Sicht von Managern, Betroffenen und Entwicklern, [...]. Der Fall A
SNAPAD system, Version 2.0.