From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach.

Bjrn Bttcher, Natalia Moriz, Oliver Niggemann

Browse the full ECAI paper archive.