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

Jane Jayaputera, Iman Poernomo, Heinz W. Schmidt. Runtime Verification of Timing and Probabilistic Properties using WMI and .NET. In 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France. pages 100-106, IEEE Computer Society, 2004. [doi]

Authors

Jane Jayaputera

This author has not been identified. Look up 'Jane Jayaputera' in Google

Iman Poernomo

This author has not been identified. Look up 'Iman Poernomo' in Google

Heinz W. Schmidt

This author has not been identified. Look up 'Heinz W. Schmidt' in Google