Runtime verification of timing and probabilistic properties using WMI and .NET
James Jayaputera, Iman Poernomo, Heinz W. Schmidt · Research Portal (King's College London) · 2004
TEST 02 - Elsevier's Scopus, the largest abstract and citation database of peer-reviewed literature. Search and access research from the science, technology, medicine, social sciences and arts and humanities fields.