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.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Lluch Lafuente, Alberto

Ähnliche Objekte (12)