Skip to content

A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS).

Jinzhi Lu, Martin Trngren, De-Jiu Chen, Jian Wang

VenueBSEFM
Year2017
ProceedingsSEFM Workshops

Browse the full SEFM paper archive.