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

Français Español

Office of the
Secretary
General

Radio-
communication
(ITU-R)

Telecom
Standardization
(ITU-T)

Telecom
Development
(ITU-D)

TELECOM
Exhibitions and
Forum

Home Page : Publications

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

Availability : Free Download

View or Download Document

	Format	Size	Posted		Free Download

English	PowerPoint 7.0	97.0 kb	Nov 27 2003

Top - Feedback - Privacy - Copyright © ITU 2001 All Rights Reserved
Contact for this page : webmaster@itu.int
Updated : 2007-03-30