Fingerprint Dive into the research topics of 'UPPAAL in Practice: Quantitative Verication of a RapidIO Network'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
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 proceeding › Conference contribution › Academic › peer-review
4
Citations
(Scopus)
123
Downloads
(Pure)