0
2018.
Assurance Aware Contract-based Design for Safety-critical Systems
Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain- ...