Showing 1 - 2 results of 2 for search 'Imene Ben-Hafaiedh', query time: 0.02s Refine Results
  1. 1
    A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems

    A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems by Imene Ben Hafaiedh, Maroua Ben Slimane

    Published 2020-01-01
    Get full text
    Article
  2. 2
    Implementing Distributed Controllers for Systems with Priorities

    Implementing Distributed Controllers for Systems with Priorities by Imene Ben-Hafaiedh, Susanne Graf, Hammadi Khairallah

    Published 2010-07-01
    Get full text
    Article

Search Tools: