Observable Consistency Checking across Requirements and Models.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert

Browse the full ENASE paper archive.