Alexandre Arnold (EADS)
Identifiers
- name variant Alexandre Arnold (EADS) 0.60 · backfill
Papers (1)
- SoS contract verification using statistical model checking cs.SE · 2013 · author #5
Mentions
- 1311.3632 #5 · backfill · confidence 0.70 Alexandre Arnold (EADS)
Frequent Coauthors
- Alessandro Mignogna (ALES S.r.l.) 1 shared papers
- Axel Legay (INRIA) 1 shared papers
- Beno\^it Boyer (INRIA) 1 shared papers
- Leonardo Mangeruca (ALES S.r.l.) 1 shared papers