Heidy Khlaaf
where else to find them
bluesky:heidykhlaaf.bsky.social
linkedin:heidy-khlaaf-443346116
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
never shared a talk
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Applicable and Achievable Formal Verification | SREcon19 Europe/Middle East/Africa | 2019-10-02 |
Explains how industry applies formal methods to real embedded devices: mandates from IEC 61508 map verification techniques to Safety Integrity Levels, and a… | ||
| nothing matches | ||