𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - Formal analysis of PKM using scyther tool

✍ Scribed by Kahya, N.; Ghoualmi, N.; Lafourcade, P.

Book ID: 126608090
Publisher: IEEE
Year: 2012
Weight: 133 KB
Category: Article
ISBN: 1467311650
DOI: 10.1109/ICITeS.2012.6216598

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 International Conference on I

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse, Tunisia (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - A UML profile for AspectC++

✍ Djabri, Mustapha Redouane; Amroune, Mohamed 📂 Article 📅 2012 🏛 IEEE ⚖ 181 KB

[IEEE 2012 International Conference on I

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - Information retrieval model based on neural networks using neighborhood

✍ Guezouli, L.; Kadache, A. 📂 Article 📅 2012 🏛 IEEE ⚖ 724 KB

[IEEE 2012 International Conference on I

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse, Tunisia (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - Modelisation of bio inspired systems using MDA

✍ Mili, Seif Eddine; Meslati, Djamel 📂 Article 📅 2012 🏛 IEEE ⚖ 332 KB

[IEEE 2012 International Conference on I

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - A simple approach for reducing timed automata

✍ Kitouni, I.; Hachichi, H.; Eddine, S. D. 📂 Article 📅 2012 🏛 IEEE ⚖ 188 KB

[IEEE 2012 International Conference on I

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse, Tunisia (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - Maintainability assessment in object-oriented system design

✍ Tagoug, Nejmeddine 📂 Article 📅 2012 🏛 IEEE ⚖ 104 KB

[IEEE 2012 International Conference on I

[IEEE 2012 International Conference on Information Technology and e-Services (ICITeS) - Sousse, Tunisia (2012.03.24-2012.03.26)] 2012 International Conference on Information Technology and e-Services - BEMD for three-dimensional medical images decomposition

✍ Zemzami, O. Ait; Aksasse, B.; Ouanan, M.; Benkuider, A. 📂 Article 📅 2012 🏛 IEEE ⚖ 615 KB