Specification and analysis of soft real-time systems : quantity and quality

P.R. D'Argenio, J.P. Katoen, E. Brinksma

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

    16 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings 20th IEEE Real-Time Systems Symposium (RTSS 1999, Phoenix AZ, USA, December 1-3, 1999)
    PublisherIEEE Computer Society
    Publication statusPublished - 1999

    Cite this