Treffer 1 - 4 von 4 für Suche 'Habbachi, Salwa', Suchdauer: 0,65s Treffer weiter einschränken
  1. 1
    Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets

    Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets von Habbachi, Salwa, Li, Zhiwu, Wu, Naiqi, Khalgui, Mohamed

    Veröffentlicht in Science progress (1916)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Secret inference and attacktability analysis of discrete event systems

    Secret inference and attacktability analysis of discrete event systems von Habbachi, Salwa, Zaghdoud, Amal, Li, Zhiwu, Wu, Naiqi, Khalgui, Mohamed

    Veröffentlicht in Information sciences

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

    On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation von Habbachi, Salwa, Ben Hafaiedh, Imene, Li, Zhiwu, Krichen, Moez


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms

    Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms von Habbachi, Salwa, Li, Zhiwu, Khalgui, Mohamed


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: