Yakoub Nemouchi

Identifiers

• name variant Yakoub Nemouchi 0.60 · backfill

Papers (2)

1. ACCESS: Assurance Case Centric Engineering of Safety-critical Systems cs.SE · 2024 · author #10
2. 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