Petri net based verification of communication protocols specified by language means
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
52 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 37 - 44
- Erschienen in
-
Iir-Informatik / Institut für Informatik und Rechentechnik ; 1989,2
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Iir
- (wann)
-
1989
- Urheber
-
Heiner, Monika
- 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:09 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
- Heiner, Monika
- Iir
Entstanden
- 1989
Ähnliche Objekte (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