The institute
FEMTO-ST
Directory

You are here

Abbas Ahmad

Abbas Ahmad's publications

2018 (2)

  • phdthesis - Model Based Testing pour les systèmes IoT - Méthodes et outils
    (jun 2018)
    Ahmad, Abbas
    bibtex
  • article - Volume 108
    (Volume 108, jan 2018, Pages :1 - 58)
    Ahmad, Abbas | Fourneret, Elizabeta | Bouquet, Fabrice | Legeard, Bruno
    doi | bibtex

2016 (1)

  • inproceedings - Model-Based Testing as a Service for IoT Platforms
    7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016) / Corfu, Greece (Volume 9953, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 727 - 742)
    Ahmad, Abbas | Bouquet, Fabrice | Fourneret, Elizabeta | Le Gall, Franck | Legeard, Bruno
    pdf | doi | bibtex