UPPAAL in Practice: Quantitative Verication of a RapidIO Network

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, J.P.M. Voeten

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

    4 Citations (Scopus)
    123 Downloads (Pure)

    Fingerprint Dive into the research topics of 'UPPAAL in Practice: Quantitative Verication of a RapidIO Network'. Together they form a unique fingerprint.

    Engineering & Materials Science