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

Francisco Mendoza, Joris Pascal, Philipp Nenninger, Jrgen Becker

Browse the full INDIN paper archive.