Suchergebnisse - Kacem, A.H. | OPAC THWS

1

Orchestrating Safe Behavioural Adaptations of Component-Based Systems von Kacem, N.H., Kacem, A.H., Drira, K.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Cooperative systems for information sharing and exchange von Drira, K., Diaz, M., Villemur, T., Jmaiel, M., Ben Hamadou, A., Kacem, A.H.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A formal security framework for mobile agent systems: Specification and verification von Loulou, M., Kacem, A.H., Jmaiel, M., Mosbah, M.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A Conceptual Model for Secure Mobile Agent Systems von Loulou, M., Jmaiel, M., Kacem, A.H., Mosbah, M.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Using UML2.0 and GG for describing the dynamic of software architectures von Kacem, M.H., Jmaiel, M., Kacem, A.H., Drira, K.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Towards a formal methodology for developing multi-agent applications using temporal Z von Regayeg, A., Kacem, A.H., Jmaiel, M.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A formal model for mobile agent systems using Z von Loulou, M., Kacem, A.H., Jmaiel, M.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Compositional specification of event-based software architectural styles von Loulou, I., Kacem, A.H., Jmaiel, M., Drira, K.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Towards a unified graph-based framework for dynamic component-based architectures description in Z von Loulou, I., Kacem, A.H., Jmaiel, M., Drira, K.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

From conventional KBS to cooperative KBS: control model von Hadj Kacem, A., Soubie, J.-L., Frontin, J.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: