Formal Description Techniques and Protocol Specification Testing and Verification

213.99 EUR 195.74 EUR 9% Off

Ein Leitfaden für die formale Beschreibung von Kommunikationsprotokollen, der theoretische Konzepte mit konkreten Test- und Verifikationsmethoden verknüpft und sich an Ingenieure sowie akademische Forscher richtet.

Teilen: