Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling. Towards Developing Trusted Smart Contracts in Simulink. In Petra Maria Asprion, Signe Balina, Peter Forbrig, Janis Kampars, Marite Kirikova, Charles Møller, Andrea Morichetta 0001, Ben Roelens, Kurt Sandkuhl, editors, Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), On-line (originally located in Riga, Latvia), November 26, 2020. Volume 2749 of CEUR Workshop Proceedings, pages 35-46, CEUR-WS.org, 2020. [doi]
Abstract is missing.