Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 136 | 121 |
indice h | 6 | 6 |
indice i10 | 6 | 5 |
Accès public
Tout afficher11 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Brijesh DongolUniversity of SurreyAdresse e-mail validée de surrey.ac.uk
- Michael ButlerProfessor of Computer Science, University of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk
- Asieh Salehi FathabadiSenior Research Fellow University of SouthamptonAdresse e-mail validée de soton.ac.uk
- Simon DohertyUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgAdresse e-mail validée de uni-oldenburg.de
- Michael PoppletonLecturer in Formal Methods, University of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk
- Dana DghaymLecturer, University of SouthamptonAdresse e-mail validée de soton.ac.uk
- Bashir M. Al-HashimiProfessor of Computer Engineering, King’s College LondonAdresse e-mail validée de kcl.ac.uk
Suivre
Sadegh Dalvandi
Staff Formal Verification Engineer at Axiomise
Adresse e-mail validée de dalvandi.com - Page d'accueil