Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool.

Muhammad Abdul Basit Ur Rahim, Fahim Arif, Jamil Ahmad

Browse the full ICCSA paper archive.