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

Invariant-based synthesis of fault-tolerant systems

Lano, K and Clark, D and Androutsopolous, K and Kan, P (2000) Invariant-based synthesis of fault-tolerant systems. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium.

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
ID Code:308
Deposited By:Dr K Lano
Deposited On:31 Oct 2007 09:25
Last Modified:01 Nov 2007 18:58

Repository Staff Only: item control page