Modeling and Testing Main IPv6 Protocols.POMPES PAR TRANSITIONS MULTIPLES

منو

" Modeling and Testing Main IPv6 Protocols.POMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	153530
Doc. No	:	ET25322
Main Entry	:	Zheying Huang
Title Proper	:	Modeling and Testing Main IPv6 Protocols.POMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	This thesis presents the modeling and testing of main network layer protocols inIPv6, which are IPv6, ICMPv6, MLD and RIPng protocols. The purpose of this thesis isto formalize these protocols and to automatically generate test suites for conformance and.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL49572.pdf
Title and statement of responsibility and	:	Modeling and Testing Main IPv6 Protocols.POMPES PAR TRANSITIONS MULTIPLES [Thesis]