From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs.. Technique et Science Informatiques, 28 (9): 1143-1170 (2009)Improving the consistency verification and the quality of multimedia presentations.. Int. J. Crit. Comput. Based Syst., 2 (3/4): 221-245 (2011)Efficient computation of state space over approximation of preemptive real time systems., и . AICCSA, стр. 726-733. IEEE Computer Society, (2008)ODM-RPL: Optimized Dual MOP RPL., , и . ISCC, стр. 1-6. IEEE, (2021)Extending the Verification of Multimedia Presentation Consistency to Resource Requirements... FGCN (1), стр. 216-219. IEEE Computer Society, (2008)Dealing with complex routing requirements using an MCDM based approach., , , и . IWCMC, стр. 1256-1261. IEEE, (2022)Validation d'un modèle basée sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes : Application aux systèmes multimédias. (Time Petri Net based model validation for the specification of complex real time systems : application to multimedia systems).. University of Science and Technology Houari Boumediene, Algeria, (2007)Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols., , , и . ICC, стр. 3579-3584. IEEE, (2015)Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services., , , и . ISCC, стр. 1004-1009. IEEE, (2019)Time Petri Nets for performance evaluation of composite web services architectures., , , и . ISCC, стр. 122-127. IEEE Computer Society, (2015)