Assurance Cases in Model-Driven Development of the Pacemaker Software.

Eunkyoung Jee, Insup Lee, Oleg Sokolsky

Browse the full ISoLA paper archive.