Výsledky vyhledávání - "Khlifi, Oussama"

Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints

Autor: Khlifi, Oussama, Mosbahi, Olfa, Khalgui, Mohamed, Frey, Georg, Li, Zhiwu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fcd6b2304cf52678f97b16a52c143456

Zobrazit plný text záznamu

Modeling and formal verification of probabilistic reconfigurable systems

Autor: Khlifi, Oussama

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::09d54ddc3ac10b18b9aae69ebc996191

Zobrazit plný text záznamu

Conference

GR-TNCES: New extensions of R-TNCES for modelling and verification of flexible systems under energy and memory constraints.

Autor: Khlifi, Oussama, Mosbahi, Olfa, Khalgui, Mohamed, Frey, Georg

Publikováno v: 2015 10th International Joint Conference on Software Technologies (ICSOFT); 2015, p1-8, 8p

Zobrazit plný text záznamu

Akademický článek

Corrigendum to “Extensive Thrombosis of the Inferior Vena Cava and Left Renal Vein in a Neonate”.

Autor: Kdous, Moez¹, Khlifi, Oussama¹, Brahem, Marwene¹, Khrouf, Mohamed¹, Amari, Sarah¹, Ferchiou, Monia¹, Zhioua, Fethi¹

Publikováno v: Case Reports in Obstetrics & Gynecology. 9/19/2016, p1-1. 1p.

Zobrazit plný text záznamu