A tool for modeling and verifying real-time systems.

Wael M. Elseaidy, Rance Cleaveland

Browse the full ICECCS paper archive.