From implicit specifications to explicit designs in reactive system development

Lano, K and Clark, D and Androutsopolous, K (2002) From implicit specifications to explicit designs in reactive system development. In: Integrated Formal Methods, Third International Conference, IFM 2002.

Full text not available from this repository.

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

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007