Hochschulschrift
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VI, 224 Bl.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Bonn, Univ., Diss., 1983 (Nicht f.d. Austausch)
- Schlagwort
-
Kommunikationsprotokoll
Kommunikationsprotokoll
- 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:14 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
Ähnliche Objekte (12)
Mathematische Modellierung und Verifikation von SDL-Systemen
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation abstrakter Zustandsmaschinen
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Mathematische Simulation des temperatur-geregelten Laserstrahlhärtens und seine Verifikation an ausgewählten Stählen
Mathematische Modellierung und Verifikation von SDL-Systemen
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation abstrakter Zustandsmaschinen
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme
Mathematische Simulation des temperatur-geregelten Laserstrahlhärtens und seine Verifikation an ausgewählten Stählen
Mathematische Modellierung und Verifikation von SDL-Systemen
Rahmenwerk zur automatisierten Verifikation eines systemorientierten Produktentstehungsprozesses in der Automobilentwicklung
Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
Verifikation unvollständiger Schaltkreise
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Vollständige funktionale Verifikation
Verifikation abstrakter Zustandsmaschinen
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Verifikation regelbasierter Konfigurationssysteme