Internet of Things Internet of Things, 2020, pp.1-54. ⟨10.1016/j.iot.2020.100275⟩ Internet of Things, Elsevier, 2020, pp.1-54. ⟨10.1016/j.iot.2020.100275⟩
Proc. of FMICS'20 Proc. of FMICS'20, Sep 2020, Vienne, Austria. ⟨10.1007/978-3-030-58298-2_12⟩ Formal Methods for Industrial Critical Systems ISBN: 9783030582975 FMICS