DarTwin made precise by SysMLv2 - An Experiment.

ystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens

Browse the full MODELS paper archive.