Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv Xvii '97 (Ifip Advances In Information And Communication Technology)

Ein kompakter Leitfaden, der formale Beschreibungen nutzt, um Protokolle präzise zu spezifizieren und anschließend systematisch zu testen sowie zu v ...

Allgemein

Marke
Atsushi Togashi
ISBN
Atsushi Togashi 1475752601
MPN
Atsushi Togashi biography

Eigenschaften

Menü