A formal approach to the development of industrial cyber-physical systems

Sergio Feo Arenis. A formal approach to the development of industrial cyber-physical systems. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2016. [doi]

Abstract

Abstract is missing.