Towards model-based derivation of systems in the industrial automation domain.

Miao Fang, Georg Leyh, Jrg Drr, Christoph Elsner, Jingjing Zhao

Browse the full SPLC paper archive.