Industrial deployment of system engineering methods providing high dependability and productivity
 

Development of a Network Topology Discovery Algorithm

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive]

[img]ZIP Archive (Rodin platform archive)
819Kb
[img]
Preview
PDF
188Kb

Item Type:Rodin Archive
Subjects:Industrial Deployment > Other
Event-B > Event-B Examples
ID Code:82
Deposited By:Thai Son Hoang
Deposited On:11 Feb 2009 15:00
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved