![[IEEE Proceedings. 30th Euromicro Conference, 2004. - Rennes, France (2004.09.3-2004.09.3)] Proceedings. 30th Euromicro Conference, 2004. - Runtime verification of timing and probabilistic properties using WMI and .NET]()
[IEEE Proceedings. 30th Euromicro Conference, 2004. - Rennes, France (2004.09.3-2004.09.3)] Proceedings. 30th Euromicro Conference, 2004. - Runtime verification of timing and probabilistic properties using WMI and .NETJayaputera, J.; Poernomo, I.; Schmidt, H. · 2004