Checking SysML Models for Co-simulation.

Nuno Amlio, Richard John Payne, Ana Cavalcanti, Jim Woodcock

Browse the full ICFEM paper archive.