Workshops
- Tutorial Week on using Isabelle for Provably Safe IoT in week 21 from 20-24 May 2019
- Industrial Modeling of IoT workshop on 16 May 2019
- Spring meeting in Gemini Centre on IoT on 15 May 2019
Activities in CPS lab
Published Mar. 14, 2017 7:27 PM
- Last modified Dec. 6, 2024 9:19 AM