Browsing by Author "Abdelli, Abdelkrim"

Now showing 1 - 3 of 3

Enumération des états accessibles d'un système temporel spécifié au noyau de Lotos étendu en facteur temps
(1998) Abdelli, Abdelkrim
Sémantique et validation d'un modèle basé sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes
(2007) Abdelli, Abdelkrim
Towards modelling and analyzing timed workflow systems with complex synchronizations
(Elsevier, 2019-08-14) Hamdani, Abdia; Abdelli, Abdelkrim