Design of industrial automation systems - Formal requirements in the engineering process.

Bjrn Bttcher, Johann Badinger, Natalia Moriz, Oliver Niggemann

Browse the full ETFA paper archive.