Composability Verification of Complex Systems Using Colored Petri Nets.

Imran Mahmood, Syed Hassan Askari, Hessam S. Sarjoughian

Browse the full WSC paper archive.