Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI

Description

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Links & Downloads

1. http://hdl.handle.net/1866/30745

Tags

Informatique

Additional Fields

Identifer	oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/30745
Date	January 1998
Creators	Maguiraga, Saoudatou
Contributors	Bochmann, Gregor V.
Source Sets	Université de Montréal
Detected Language	French
Type	other, autre
Format	application/pdf