Assisted design for automation systems - From formal requirements to final designs.

Natalia Moriz, Bjrn Bttcher, Oliver Niggemann, Josef Lackhove

Browse the full ETFA paper archive.