Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints.

Perla Tannoury, Ahmed Hammad

Browse the full VECoS paper archive.