Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets.

Weiyi Zhang, Zoran Salcic, Avinash Malik

Browse the full INDIN paper archive.