1
0
0
News
MVDA : The 1st IEEE Workshop on Modeling and Verifying...
www.wikicfp.com
MVDA : The 1st IEEE Workshop on Modeling and Verifying Distributed Applications
Interaction Design and Architecture(s) Journal (IxD&A)
www.mifav.uniroma2.it
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf 'Selection of appropriates E-learning personalization strategies from ontological ...
Netzwerk-Profile
LinkedIn: Leila Jemni Ben Ayed - Tunisie | LinkedIn
Voir le profil professionnel de Leila Jemni Ben Ayed (Tunisie) sur LinkedIn. Grâce à LinkedIn, le plus grand réseau professionnel au monde, les professionnels ...
Facebook: Leila Jemni | Facebook
Leila Jemni est sur Facebook. Inscrivez-vous sur Facebook pour communiquer avec Leila Jemni et d’autres personnes que vous pouvez connaître. Facebook offre à ...
pinterest.com: Leila Jemni Ben Ayed
0 Pins • 6 Followers
Bücher
SCEAS
sceas.csd.auth.gr
Scientific Colection Evaluator with Advanced Scoring (SCEAS) is an automated system that uses DBLP data and produces rank table by various evaluation ...
Automated Technology for Verification and Analysis: Third...
books.google.de
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement Mouna Saad and Leila Jemni Ben Ayed Faculté des Sciences de TUNIS, ...
Formal Methods and Software Engineering: 4th International Conference...
books.google.de
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM The conference was held in Sha- hai,...
The New Development of Technology Enhanced Learning: Concept,...
books.google.de
The book addresses the main issues concerned with the new development of learning processes, innovative pedagogical changes, the effects of new technologies on...
Wissenschaftliche Veröffentlichungen
dblp: Leila Jemni Ben Ayed
dblp.uni-trier.de
List of computer science publications by Leila Jemni Ben Ayed
Search results for "Leila Jemni Ben Ayed" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of Leila Jemni Ben Ayed Leila Jemni ( http://dblp.L3S.de/Authors/Leila_Jemni_Ben_Ayed )
Search results for "COMPSAC Workshops" – FacetedDBLP
dblp.l3s.de
COMPSAC Workshops(734) Authors. Kai-Yuan Cai(13) Atilla Elçi(11) Hongji Yang(11) Leila Jemni Ben Ayed(11)
Veröffentlichungen allgemein
Accessible E-learning for Students with Disabilities: From the Design...
link.springer.com
E-learning systems are now widely adopted. They represent real opportunities for a better quality of education for many people. However, people with...
theses.fr – Leila Jemni Ben Ayed , Une approche formelle pour la...
www.theses.fr
Our aim is the use of formal techniques for the development of control-command system, which constitutes the program component of real-time systems. Generally,...
Une approche formelle pour la spécification et la vérification des...
www.worldcat.org
Diesen Titel erhalten Sie in einer Bibliothek! Une approche formelle pour la spécification et la vérification des systèmes temps-réel. [Leila Jemni Ben...
Artikel & Meinungen
DBWorld Message
research.cs.wisc.edu
Workshop Co-Chairs Leila Jemni Ben Ayed Laboratory LaTICE – University of Tunis / ENSI, University of Manouba, Tunisia; E-mail: ...
Sonstiges
Cours Theorie Des Langages Mots | Etudier
www.etudier.com
Théorie des langages Leila Jemni Ben Ayed Faculté des Sciences de Tunis Département des Sciences de l’Informatique Ce cours présente la théorie des langages...
Leila Jemni Ben Ayed | LinkedIn
www.linkedin.com
View Leila Jemni Ben Ayed's professional profile on LinkedIn. Experience: Enseignate Universitaire, Ministère de l'Enseignement Supérieur.
Items where Author is "Ben Ayed, Leila Jemni" - Spectrum: Concordia...
spectrum.library.concordia.ca
Gawanmeh, Amjad and Tahar, Sofiène and Ben Ayed, Leila Jemni (2012) Formal Verification of Secrecy in Group Key Protocols Using Event-B. Int'l J. of ...
Leila JEMNI BEN AYED
www.latice.rnu.tn
Leila JEMNI BEN AYED. Associate-Professor in Higher National Scool of Computer Science. Member of research Unit UTIC. .tn.
Leila Jemni Ben Ayed
www.infona.pl
Ayed, Leila Jemni Ben. Details · Publications ... Essalmi, Fathi, Ayed, Leila Jemni Ben, Jemni, Mohamed, Kinshuk, more · Computers in Human Behavior ,
2014 IEEE 38th Annual Computer Software and Applications Conference -...
docplayer.net
2014 IEEE 38th Annual Computer Software and Applications IEEE 38th Annual Computer Software and Applications Conference ... and Leila Jemni Ben Ayed ...
(PDF) A Specification and Validation Technique Based on STATEMATE and...
www.academia.edu
A Specification and Validation Technique Based on STATEMATE and FNLOG
Evaluation of Personalization Strategies Based on Fuzzy Logic. |...
www.bibsonomy.org
The blue social bookmark and publication sharing system.
Generalized metrics for the analysis of E-learning personalization...
www.semanticscholar.org
For personalizing E-learning, several different strategies and characteristics can be used and considered by teachers and course authors/designers. In order to...
International Journal of Internet Technology and Secured Transactions...
www.inderscience.com
, Translating STATEMATE models into FNLOG for the verification of safety requirements in reactive systems. Leila Jemni Ben Ayed, Yousra Hlaoui Ben ...
Introduction - Indico
indico-eela.ceta-ciemat.es
Y. Hlaoui. Ben daly - L. Jemni Ben Ayed - UTIC. 1. Toward a Grid Workflow Formal Composition. Yousra Ben Daly Hlaoui and Leila Jemni Ben Ayed. Presented ...
Lecture Notes in Computer Science
ftp.math.utah.edu
204 Olfa Mosbahi and Leila Jemni and Samir Ben Ahmed and Jacques Jaray A Specification and Validation Technique Based on STATEMATE ...
introduction
research.cs.queensu.ca
Specification and verification of multi-agent systems interaction protocols using a combination of AUML and Event B Leila Jemni Ben Ayed, ...
CiteSeerX — S.: Selection of appropriate Elearning personalization...
citeseerx.ist.psu.edu
by Fathi Essalmi , Leila Jemni , Ben Ayed , Mohamed Jemni , Sabine Graf ... author = {Fathi Essalmi and Leila Jemni and Ben Ayed and Mohamed Jemni and ...
TDGS - "Mohamed Jemni"
juliette.lsi.us.es
Halima Hebiri Madani, Leila Jemni Ben Ayed, Mohamed Jemni, Demetrios G. Sampson · ICTA, 1-6, Fetch | Report | Google · Towards sign language ...
Dr. Sabine Graf
sgraf.athabascau.ca
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Sabine Graf, and Kinshuk (2015). Generalized metrics for the analysis of E-learning personalization ...
INRIA Nancy - Grand Est - Recherche simple
memsic.ccsd.cnrs.fr
Leila Jemni Ben Ayed (6); Olfa Mosbahi (5); Jacques Jaray (3); Houda Fekih (1); Samir Ben Ahmed (1); Stephan Merz (1) ...
Verwandte Suchanfragen zu Leila Jemni
| Stephan Merz Sabine Graf Mohamed Jemni |
Personen Vorname "Leila" (2422) Name "Jemni" (10) |
sortiert nach Relevanz / Datum