Using Safety Contracts to Verify Design Assumptions During Runtime

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Omar Jaradat, Sasikumar Punnekkat

Journal publisher: 23rd International Conference on Reliable Software Technologies – Ada-Europe 2018 (Ada-Europe-2018)

Published year: 2018