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 ...