NITZAN MEIRAV

Implementing and verifying safety measures in a system design based on safety specification generated from safety requirements