Yakoub Nemouchi
Identifiers
- name variant Yakoub Nemouchi 0.60 · backfill
Papers (2)
- ACCESS: Assurance Case Centric Engineering of Safety-critical Systems cs.SE · 2024 · author #10
- Mechanised Assurance Cases with Integrated Formal Methods in Isabelle cs.LO · 2019 · author #1
Mentions
- 2403.15236 #10 · arxiv_oai · confidence 0.70 Yakoub Nemouchi
Frequent Coauthors
- Simon Foster 2 shared papers
- Tim Kelly 2 shared papers
- Colin O'Halloran 1 shared papers
- Fang Yan 1 shared papers
- Haitao Mei 1 shared papers
- Ibrahim Habli 1 shared papers
- Mario Gleirscher 1 shared papers
- Nick Tudor 1 shared papers
- Ran Wei 1 shared papers
- Ruizhe Yang 1 shared papers