Treffer 1 - 4 von 4 für Suche 'Langar, Mahjoub', Suchdauer: 0,35s Treffer weiter einschränken
  1. 1
    QoS monitor as a service

    QoS monitor as a service von Bouasker, Taycir, Langar, Mahjoub, Robbana, Riadh

    Veröffentlicht in Software quality journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal enforcement of security policies on concurrent systems

    Formal enforcement of security policies on concurrent systems von Langar, Mahjoub, Mejri, Mohamed, Adi, Kamel

    Veröffentlicht in Journal of symbolic computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Formal Dynamic Verification of Choreographed Web Services Conversations

    A Formal Dynamic Verification of Choreographed Web Services Conversations von Dahmani, Karim, Langar, Mahjoub, Robbana, Riadh


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Rewriting-based security enforcement of concurrent systems: A formal approach

    Rewriting-based security enforcement of concurrent systems: A formal approach von Langar, Mahjoub, Mejri, Mohamed, Adi, Kamel

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: