Video NAT
This video shows the NAT model.
|
This video shows the execution of some of the areas represented in the model. The model was defined using SDL languaje and implemented using Witness 2003. |
Pau Fonseca i Casas
Department of Statistics and Operations Research
Universitat Politècnica de Catalunya - BarcelonaTECH
North Campus - C5218 Room
Barcelona, 08034, SPAIN
Tel. (+34) 93 4017035
Fax. (+34) 93 4015855
