Framework for dynamic verification of multi-domain virtual platforms in industrial automation

Francisco Mendoza, Joris Pascal, Philipp Nenninger, Jürgen Becker. Framework for dynamic verification of multi-domain virtual platforms in industrial automation. In IEEE 10th International Conference on Industrial Informatics, INDIN 2012, Beijing, China, July 25-27, 2012. pages 935-940, IEEE, 2012. [doi]

Abstract

Abstract is missing.