Contribution to the formalisation of data-driven invariant modelling constructs of Cyber-Physical Systems. (Contribution à la formalisation d'invariants de modélisation de systèmes cyber-physiques, dirigés par les données)

Concetta Semeraro. Contribution to the formalisation of data-driven invariant modelling constructs of Cyber-Physical Systems. (Contribution à la formalisation d'invariants de modélisation de systèmes cyber-physiques, dirigés par les données). PhD thesis, Polytechnic University of Bari, Italy, 2020. [doi]

Abstract

Abstract is missing.