Real-Time Migration Properties of rTiMo Verified in Uppaal.

Bogdan Aman, Gabriel Ciobanu

Browse the full SEFM paper archive.