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

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