A simple example of protocol specification and verification using high-level PetriNets (Jonathan Billington)

English Français

Copia Imprimible

Oficina del
Secretario
General

Radio-
comunicaciones
(ITU-R)

Normalización
(ITU-T)

Desarrollo
(ITU-D)

TELECOM
Exposiciones
y Foros

Pagina Principal : Publicaciones

A simple example of protocol specification and verification using high-level PetriNets (Jonathan Billington)

Disponibilidad : Free Download

Telecargar Document

	Formato	Talla	Colocado		Free Download

English	PowerPoint 7.0	97.0 kb	nov 27 2003

Comienzo de la página - Comentarios - Confidencial - Copyright © ITU 2001 Reservados todos los derechos
Contacto public : webmaster@itu.int
Puesto al dia el 2007-03-30