Runtime verification of timing and probabilistic properties Using WMI and .NET

Jane Jayaputera, Iman Hafiz Poernomo, Heinrich Schmidt

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 30th EUROMICRO Conference
    EditorsR Steinmetz, A Mauthe
    Place of PublicationLos Alamitos USA
    PublisherIEEE Computer Society
    Pages100 - 106
    Number of pages7
    ISBN (Print)0769521991
    Publication statusPublished - 2004
    EventEuromicro Conference on Real-Time Systems - Rennes FRANCE, Los Alamitos USA
    Duration: 1 Jan 2004 → …


    ConferenceEuromicro Conference on Real-Time Systems
    CityLos Alamitos USA
    Period1/01/04 → …

    Cite this