This site has been permanently archived. This is a static copy provided by the University of Southampton.

Industrial deployment of system engineering methods providing high dependability and productivity
 

Link State Routing Development

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]

[img]ZIP Archive (Link State Routing (Rodin Platform archive)) - Published Version
1577Kb

Official URL: http://www.springerlink.com/content/j0472j150026416h/


Item Type:Rodin Archive
Subjects:Methodology > Other
Event-B > Event-B Examples
ID Code:31
Deposited By:Thai Son Hoang
Deposited On:20 Aug 2008 11:08
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