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-Project - All right reserved