Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry.

Grischa Liebel, Anthony Anjorin, Eric Knauss, Florian Lorber, Matthias Tichy

Browse the full MODELSWARD paper archive.