Combining SysML V2 and BIP to Model and Verify CPS Interactions.

Adel Khelifati, Ahmed Hammad, Malika Boukala-Ioualalen

Browse the full ICSoft paper archive.