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)
Subjects:	UNSPECIFIED
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

Accessibility | Terms and Conditions | Last Modified 01 November 2007