Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Formal Specification and Verification of Railway Systems using UML

Lano, K and Androutsopoulos, K and Clark, D (2003) Formal Specification and Verification of Railway Systems using UML. In: FORMS 2003.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:846
Deposited By:Dr K Lano
Deposited On:06 Nov 2007 15:08
Last Modified:06 Nov 2007 15:08

Repository Staff Only: item control page