Methodologie de validation des systemes structures en couches par reseaux de Petri: application au protocole transport.

For the most recent entries see the Petri Nets Newsletter.

Thesis (Inform.), Univ. Paris 06. CNRS-T Bordereau, France, 1987.

Keywords: transport protocol; validation methodology (for) layered system.

Do you need a refined search? Try our search engine which allows complex field-based queries.