Hochschulschrift
Directed search for the verification of communication protocols
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XII, 144 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Freiburg (Breisgau), Univ., Diss., 2003 (Nicht für den Austausch)
- Schlagwort
-
Kommunikationsprotokoll
Verifikation
Model Checking
Gerichteter Graph
Suchverfahren
Heuristik
Heuristik ; Suche ; Verifikation ; Kommunikationsprotokolle
- Urheber
-
Lluch Lafuente, Alberto
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:36 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Lluch Lafuente, Alberto
Ähnliche Objekte (12)
Directed search for the verification of communication protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Directed explicit-statemodel checking in the validation of communication protocols
Petri net based verification of communication protocols specified by language means
Directed quantum communication
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
Evaluating parallel processing of communication protocols
Directed search for the verification of communication protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Directed explicit-statemodel checking in the validation of communication protocols
Petri net based verification of communication protocols specified by language means
Directed quantum communication
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
Evaluating parallel processing of communication protocols
Directed search for the verification of communication protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Directed explicit-statemodel checking in the validation of communication protocols
Petri net based verification of communication protocols specified by language means
Directed quantum communication
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