UPPAAL in Practice: Quantitative Verification of a RapidIO Network.

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

Browse the full ISoLA paper archive.