[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
Jayaputera, J.; Poernomo, I.; Schmidt, H.
- 作者Jayaputera, J.; Poernomo, I.; Schmidt, H.
- 文件大小276.86KB
- 发表时间2004
- DOI10.1109/eurmic.2004.1333361
- 页码100-106