Protokollvalidierung

Zum Schlagwort Protokollvalidierung
ist 1 Buch im Verlag Dr. Kovač erschienen.

1. Ludger Walther Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle Hamburg 1997, 240 Seiten ISBN-13: 978-3-86064-548-2, ISBN-10: 3-86064-548-X Schlagworte: OSI-Protokolle, Erreichbarkeitsanalyse, Protokollvalidierung, Korrektheitsbeweis, Validierungswerkzeug PROVAL, Proval, Transaktionsverarbeitung