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.