DarTwin made precise by SysMLv2 - An Experiment
- Øystein Haugen
- , Stefan Klikovits
- , Martin Arthur Andersen
- , Jonathan Beaulieu
- , Francis Bordeleau
- , Joachim Denil
- , Joost Mertens
Research output: Contribution to Book/Report types › Contribution to conference proceedings › peer-review