Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems.

Aitor Arrieta, Goiuria Sagardui, Leire Etxeberria

Browse the full ETFA paper archive.