„protocol specification“

Suchergebnisse

127 Treffer

• Protocol specification, testing, and verification, VI – proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification organized by Concordia University and Université de Montréal ; Montreal, Quebec, Canada, June 10 - 13, 1986
  Sarikaya, Behcet 1987 North-Holland
• SDL with applications from protocol specification
  Belina, Ferenc 1991 Prentice Hall
• SMI-S for the Storage Area Network (SAN) Management
  Altaf, Moaz 2014 Scholars' Press
• Satellite-UMTS – specification of protocols and traffic performance analysis
  Oh, Seong-Hoon 2005 Mainz
• From SDL specifications to optimized parallel protocol implementations
  Leue, Stefan ; Oechslin, Philipp 2008 Bibliothek der Universität Konstanz
• OpParIm - A Method and Tool for Optimized Parallel Protocol Implementation
  Leue, Stefan ; Oechslin, Philippe 2008 Bibliothek der Universität Konstanz
• Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
  Kamel, Moataz ; Leue, Stefan 2008 Bibliothek der Universität Konstanz