From Requirements to Validated Embedded Systems.

Manfred Broy, Oscar Slotosch

Browse the full EMSOFT paper archive.