Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.

Iman, Poernomo and Jane, Jayaputera and Heinz, Schmidt (2004) Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. In: 30th EUROMICRO Conference 2004, 31 August - 3 September, August 31st to September 3rd 2004, Rennes, France.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	236
Deposited By:	Dr Iman Poernomo
Deposited On:	08 Nov 2007 17:11
Last Modified:	08 Nov 2007 17:11

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007