Verification of MARTE/CCSL Time Requirements in Promela/SPIN.

Ling Yin, Frdric Mallet, Jing Liu

Browse the full ICECCS paper archive.