Search Results - Hussein Toman, Sarah

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Ensuring the Correctness and Reliability of CBPS System Using Event‐B

    Ensuring the Correctness and Reliability of CBPS System Using Event‐B by Hussein Toman, Sarah, Hamel, Lazhar, Lahouij, Aida, Hussein Toman, Zinah, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Automated Scoring for Essay Questions In E-learning

    Automated Scoring for Essay Questions In E-learning by Joundy Hazar, Manar, Hussein Toman, Zinah, Hussein Toman, Sarah

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A Correct by Construction Model for CBPS Systems Verification

    A Correct by Construction Model for CBPS Systems Verification by Toman, Sarah Hussein, Lahouij, Aida, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Refinement and Verification for IoT Service Composition

    Refinement and Verification for IoT Service Composition by Toman, Sarah Hussein, Hamel, Lazhar, Graiet, Mohamed

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Cluster-based information retrieval by using (K-means)-hierarchical parallel genetic algorithms approach

    Cluster-based information retrieval by using (K-means)-hierarchical parallel genetic algorithms approach by Hussein Toman, Sarah, Abed, Mohammed Hamzah, Toman, Zinah Hussein

    Published in Telkomnika
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Diabetic Retinopathy Diagnosis based on Convolutional Neural Network

    Diabetic Retinopathy Diagnosis based on Convolutional Neural Network by Abed, Mohammed hamzah, Muhammed, Lamia Abed Noor, Toman, Sarah Hussein

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Service to service communication based on CBPS system: refinement and verification

    Service to service communication based on CBPS system: refinement and verification by Toman, Sarah Hussein, Lahouij, Aida, Kotel, Sonia, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Correct-by-Construction Approach for Formal Verification of IoT Architecture

    Correct-by-Construction Approach for Formal Verification of IoT Architecture by Toman, Zinah Hussein, Hamel, Lazhar, Toman, Sarah Hussein, Graiet, Mohamed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Formal modelling and verification of scalable service composition in IoT environment

    Formal modelling and verification of scalable service composition in IoT environment by Toman, Sarah Hussein, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed, Ouchani, Samir

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Formal verification for security and attacks in IoT physical layer

    Formal verification for security and attacks in IoT physical layer by Toman, Zinah Hussein, Hamel, Lazhar, Toman, Sarah Hussein, Graiet, Mohamed, Valadares, Dalton Cézane Gomes

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach

    Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach by Sarah Hussein Toman, Mohammed Hamzah Abed, Zinah Hussein Toman

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Diabetic Retinopathy Diagnosis based on Convolutional Neural Network

    Diabetic Retinopathy Diagnosis based on Convolutional Neural Network by Mohammed hamzah abed, Lamia Abed Noor Muhammed, Sarah Hussein Toman

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: