Formal Description Techniques and Protocol Specification Testing and Verification
195.84 EUR
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.