Formal Models of SysML Blocks.

Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti

Browse the full ICFEM paper archive.