Formal Description Techniques and Protocol Specification Testing and Verification

213.99 EUR

Dieses Buch bietet einen tiefgreifenden Einblick in die Anwendung formaler Beschreibungen zur Protokollspezifikation, kombiniert mit praxisorientierten Test- und Verifikationsansätzen für moderne Kommunikationssysteme.

Teilen: