Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis. An integrated semantics for reasoning about SysML design models using refinement. Software and Systems Modeling, 16(3):875-902, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.