Petri net based verification of communication protocols specified by language means
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
52 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 37 - 44
- Bibliographic citation
-
Iir-Informatik / Institut für Informatik und Rechentechnik ; 1989,2
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Iir
- (when)
-
1989
- Creator
-
Heiner, Monika
- 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, 2:09 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
- Heiner, Monika
- Iir
Time of origin
- 1989
Other Objects (12)
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Operational semantics and verification of security protocols
Cryptographic protocols in optical communication
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Cooperative WLAN protocols for multimedia communication
Evaluating parallel processing of communication protocols
Multimode Communication Protocols Enabling Reconfigurable Radios
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Operational semantics and verification of security protocols
Cryptographic protocols in optical communication
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Cooperative WLAN protocols for multimedia communication
Evaluating parallel processing of communication protocols
Multimode Communication Protocols Enabling Reconfigurable Radios
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Operational semantics and verification of security protocols
Cryptographic protocols in optical communication
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Cooperative WLAN protocols for multimedia communication
Evaluating parallel processing of communication protocols