A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards.

Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand

Browse the full ISSRE paper archive.