Formal alignment of requirements models with high-level architecture models.

Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul

Browse the full ICECCS paper archive.